Jason Hemann's repositories
lambdajam2013
Code for the interpreters workshop at Lambda Jam 2013
mK-miniKanren-interpreter
a miniKanren interpreter written in miniKanren
clpset-miniKanren
CLP(Set) in miniKanren
Language:Scheme000
emacs-dev-mods
Just a humble Emacs enthusiast's custom setup.
Language:Emacs Lisp000
natlogic-cmodels
Natural Logic Countermodels
000