lambda-11235/ttyped

A simple dependently typed language based on the Calculus of Constructions.

Language: Haskell - Size: 116 KB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 12 - Forks: 1