DEV Community

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

Collapse
 
riccardo_cardin profile image
Riccardo Cardin

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