Implementing kind inference

Show and Tell
1

I spent the last few days figuring out how to implement kind inference in Haskell,
so I wrote a blog post about it.

Feedback and corrections are welcome. Happy to be enlightened.

14 Likes