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

add constraint #7

Closed Memorytaco closed 1 year ago

Memorytaco commented 1 year ago

Introduce constraint (the one in haskell) into the lang.

Memorytaco commented 1 year ago

See #3 . If it is necessary, go to a new issue for something like type class.