GitHub - MaboroshiChan/mzi-dev: A Dependently Typed Functional Programming Language

You need Java 15 to setup this project.

Name		Name	Last commit message	Last commit date
Latest commit History 383 Commits
.idea/copyright		.idea/copyright
api		api
base		base
buildSrc		buildSrc
docs		docs
gradle		gradle
parser		parser
pretty		pretty
tester		tester
.editorconfig		.editorconfig
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
build.gradle.kts		build.gradle.kts
gradlew		gradlew
gradlew.bat		gradlew.bat
settings.gradle.kts		settings.gradle.kts

Navigation Menu