stedolan / mlsub

Prototype type inference engine

stedolan/mlsub Issues

What happened to 'fun'
Updated 2 years ago1
docker container script
Updated 2 years ago
"location.ml", line 47 - This expression has type bytes but an expression was expected of type string
Updated 2 years ago3
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
Updated 2 years ago
How do I build this on Ubuntu / Ubuntu WSL2 ?
Closed 4 years ago4
Where do I find jbuild ?
Updated 4 years ago
online demo gives different results from what the readme says
Updated 5 years ago3
Sum types?
Updated 5 years ago3
Type exponentially more complex than necessary
Updated 6 years ago1
Compilation unsuccessful
Updated 7 years ago2
type union position / subtyping lattice traversal
Updated 7 years ago1
license?
Updated 7 years ago