/mlang2

Last incarnation of my dependent type implementation attempt

Primary LanguageScala

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