Name |
Last commit
|
Last update |
---|---|---|
.. | ||
mem_region.ml | ||
mem_region.mli | ||
type_inference.ml | ||
type_inference.mli |
Initial version of type inference. It is still very rudimentary at the moment since it just tracks pointer but it's a very solid start!
Name |
Last commit
|
Last update |
---|---|---|
.. | ||
mem_region.ml | Loading commit data... | |
mem_region.mli | Loading commit data... | |
type_inference.ml | Loading commit data... | |
type_inference.mli | Loading commit data... |