Dependent Checker Language SupportDependent Checker is an experimental core language for Lasca programming language. FeaturesMLTT/CiC inspired type theory checker implementation extended with algebraic data types. |
Dependent Checker Language SupportDependent Checker is an experimental core language for Lasca programming language. FeaturesMLTT/CiC inspired type theory checker implementation extended with algebraic data types. |