Giters

denisenes / lambda-calc

implementation of simply typed lambda calculus (someday with dependent types)

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

About

implementation of simply typed lambda calculus (someday with dependent types)

Languages

Language:Haskell 96.6%Language:Yacc 3.2%Language:Makefile 0.3%