This repository has been archived by the owner on Mar 4, 2023. It is now read-only.

mlang

Last incarnation of my dependent type implementation attempt

setup

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

standard Scala 3 project

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