GitHub repository: listofoptions/delta-lambda
Primary language: Haskell
Description: test language for an automath style type system