I'm writing a new blog series on practical implementation of substructural type systems, in Idris!
The first blog post will look at substructural polymorphism and why it's *hard*, harder than people assume on first glance!
https://zanzix.github.io/posts/5-substructural-polymorphism.html
The first blog post will look at substructural polymorphism and why it's *hard*, harder than people assume on first glance!
https://zanzix.github.io/posts/5-substructural-polymorphism.html
Comments