Simple sub in OCaml (https://github.com/LPTK/simple-sub)
This is an example of typechecking a programming language using Algebraic Subtyping
- You can either use flakes via nix or have a working dune setup
boloutaredoubeni/simple-sub
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|