GitHub repository: robrix/tilec
Primary language: Haskell
Created: 2020-02-27T12:51:21Z
Description: Sometimes when I feel sad I implement a dependently typed lambda calculus.