premonoidal

Agda encoding of premonoidal categories (by gelisam)

Premonoidal Alternatives

Similar projects and alternatives to premonoidal

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better premonoidal alternative or higher similarity.

premonoidal reviews and mentions

Posts with mentions or reviews of premonoidal. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-05-16.
  • Deconstructing Lambdas—An Awkward Guide to Programming Without Functions
    6 projects | /r/haskell | 16 May 2021
    I haven't touched category-syntax itself in years, so it's probably very bit-rotten by now. I've been working in two other repos, premonoidal and free-premonoidal, in order to look for the elusive free {,symmetric,precartesian,cartesian} premonoidal category, and then I plan to go back and resurect category-syntax once I'm done with that quest. But if there's interest, perhaps I can try to revive it with a slightly-less-perfect representation!

Stats

Basic premonoidal repo stats
2
3
4.2
4 months ago

The primary programming language of premonoidal is Agda.


Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com