monoid/small-set-of-ml
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
build small set of ml from scratch.
10 commits 1 branch 0 tags 80 KiB
Find a file
Exact
monoid d801a1b34f feat: add type checking and evaluation with type inference for expressions
2025-05-03 19:42:58 +09:00
bin feat: add type checking and evaluation with type inference for expressions 2025-05-03 19:42:58 +09:00
lib feat: add type checking and evaluation with type inference for expressions 2025-05-03 19:42:58 +09:00
test initial commit 2025-01-29 17:17:22 +09:00
.gitignore remove ;; 2025-01-29 17:56:00 +09:00
calc.opam initial commit 2025-01-29 17:17:22 +09:00
dune-project initial commit 2025-01-29 17:17:22 +09:00