mlang

Last incarnation of my dependent type implementation attempt

setup

1. download the correct version of javacpp to Downloads folder...
2. use correct target, currently only macos-arm64
3. generate by dench/gen

standard Scala 3 project

• IDE: you can VS Code + Metals
• command line: sbt. then mlang/test