futhark icon indicating copy to clipboard operation
futhark copied to clipboard
verified publisher icon diku-dk

Constraint-based type checking without AUTOMAP.

Open athas opened this issue 5 months ago • 0 comments

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.

athas avatar Jul 30 '25 12:07 athas