Partial Commutative Monoids

Coq23apache-2.0

12 months ago

concurrencycoqcoq-library

Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids an

Clojure454epl-1.0

2 months ago

category-theoryclojureclojure-library

Customisable coding font with alternates, ligatures and contextual positioning.

Python7823

4 years ago