futhark
futhark copied to clipboard
Constraint-based type checking without AUTOMAP.
I'm not sure when we will be able to finish AUTOMAP, but the new type checker should be doable. AUTOMAP can then be built on top of this.