DEV Community

Cover image for It's a Kind of Magic: Kinds in Type Theory

It's a Kind of Magic: Kinds in Type Theory

Riccardo Cardin on February 22, 2019

Originally posted on: Big ball of mud I am not an expert of functional programming, nor type theory. I am currently trying to enter the world of H...
Collapse
 
riccardo_cardin profile image
Riccardo Cardin

Noooo, I am sorry, dude! Which part did you not understand? Maybe I can explain it better.