lambda-11235 / ttypedLinks

A simple dependently typed language based on the Calculus of Constructions.
17Updated 4 years ago

Alternatives and similar repositories for ttyped

Users that are interested in ttyped are comparing it to the libraries listed below

Sorting: