Tags

arrows

monoids

applicative functors

DSLs

logic programming

clojure

functors

monads

free

typed clojure

abstractions

DSL

crawl

forth

comonads

category theory

concatenative