depc-vscode

lasca-lang

|
83 installs
| (0) | Free
Dependent Checker Support
Installation
Launch VS Code Quick Open (Ctrl+P), paste the following command, and press enter.
Copied to clipboard
More Info

Dependent Checker Language Support

Dependent Checker is an experimental core language for Lasca programming language.

Features

MLTT/CiC inspired type theory checker implementation extended with algebraic data types.