Modal dependent types - Githubissues

mcenv / box

A dependently-typed programming language for Minecraft

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

MIT License

8 stars 0 forks source link

Modal dependent types #469

Open intsuc opened 1 year ago

intsuc commented 1 year ago