depc-vscodeDependent Checker Support Installation Launch VS Code Quick Open ( Ctrl+P), paste the following command, and press enter.Copied to clipboard |
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. |