Giters

pigworker / LEOG

being an implementation of the calculus of constructions

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

LEOG

being an implementation of the calculus of constructions

About

being an implementation of the calculus of constructions

Languages

Language:TeX 57.6%Language:Haskell 42.4%