/Higher-Lambda-Calculus

A prototype for a kind of higher-dimensional lambda calculus

Primary LanguageHaskell

Stargazers