a dependently-typed lambda calculus implementation
based on
http://augustss.blogspot.com.br/2007/10/simpler-easier-in-recent-paper-simply.html
a dependently-typed lambda calculus implementation
based on
http://augustss.blogspot.com.br/2007/10/simpler-easier-in-recent-paper-simply.html