GitHub repository: svobot/janus
Primary language: Haskell
Description: λ-calculus in Quantitative Type Theory