search

mcenv / box

A dependently-typed programming language for Minecraft
https://mcenv.github.io/book-box/
MIT License
8 stars 0 forks source link
compiler data-pack datapack dependent-types metaprogramming minecraft programming-language

readme

box

Test Coverage

Box is a dependently-typed programming language for Minecraft: Java Edition[^1].

[^1]: NOT OFFICIAL MINECRAFT PRODUCT. NOT APPROVED BY OR ASSOCIATED WITH MOJANG.