search

Memorytaco / t-lang

This is now an experimental prototype of a system programming language based on MLFe type system.
1 stars 1 forks source link

Investigate possibility of using CHR for implementing type class #14

Open Memorytaco opened 1 year ago

Memorytaco commented 1 year ago

If we can find a way to craft a solver for CHR using graph, there is a chance to integrate it into MLF type inference process.