`box`

Box is a dependently-typed programming language for Minecraft: Java Edition¹.

Name		Name	Last commit message	Last commit date
Latest commit History 1,211 Commits
.github		.github
gradle/wrapper		gradle/wrapper
packs		packs
src		src
.gitattributes		.gitattributes
.gitignore		.gitignore
CITATION.cff		CITATION.cff
LICENSE		LICENSE
README.md		README.md
build.gradle.kts		build.gradle.kts
gradlew		gradlew
gradlew.bat		gradlew.bat
settings.gradle.kts		settings.gradle.kts

Provide feedback