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

FULL DISCUSSION
 

I started reading this with a lot of enthusiasm but soon my head started hurting! Man, types are tough! 😵😵 Anyway, thanks for writing this. Someday I'll be able to read FP discussions without dying. 🤭

 

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

code of conduct - report abuse