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

VIEW PARENT COMMENT VIEW FULL DISCUSSION
 

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

code of conduct - report abuse