GitHub - Lewis-goat/delta-type-theory: Пишем плагин для языка зависимых типов · GitHub

Name		Name	Last commit message	Last commit date
core		core
docs		docs
gradle/wrapper		gradle/wrapper
intellij-plugin		intellij-plugin
.gitignore		.gitignore
README.md		README.md
build.gradle.kts		build.gradle.kts
gradle.properties		gradle.properties
gradlew		gradlew
gradlew.bat		gradlew.bat
settings.gradle.kts		settings.gradle.kts

Repository files navigation

Делаем dependent type checker

План (будет обновляться): https://delta-summer-camp-team.github.io/delta-type-theory/

About

Пишем плагин для языка зависимых типов

0 stars

0 watching

Report repository

Releases

Packages

Contributors