`builtin`s as terms - Githubissues

mcenv / box

A dependently-typed programming language for Minecraft

https://mcenv.github.io/book-box/

MIT License

8 stars 0 forks source link

`builtin`s as terms #478

Closed intsuc closed 1 year ago