Tags

monads

DSLs

logic programming

crawl

DSL

category theory

typed clojure

abstractions

monoids

functors

applicative functors

comonads

arrows

clojure

forth

concatenative

free

LLVM

parsing

generative testing