GitHub repository: AHartNtkn/Higher-Lambda-Calculus
Primary language: Haskell
Created: 2017-12-27T17:28:25Z
Description: A prototype for a kind of higher-dimensional lambda calculus