4 ms·
My favorite language in this category is MLscript. The best part is that type-checking it is decidable! https://github.com/hkust-taco/mlscript https://github.co
by smasher164 4y ago
My favorite language in this category is MLscript. The best part is that type-checking it is decidable!
https://github.com/hkust-taco/mlscript https://github.com/hkust-taco/mlscript