neilparikh / lambda-calculus

Implementation for various typed lambda calculi

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

neilparikh/lambda-calculus Stargazers