try to research on higher kinded system in MLF

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

Open Memorytaco opened 6 months ago

Memorytaco commented 6 months ago

we have two papers for now on this topic but no other further progress in recent years.