Memorytaco/t-lang

try to research on higher kinded system in MLF

Opened this issue · 0 comments

Memorytaco commented

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