Cyberfæ :pentacle:"How should I read type system notation?"
Carefully. A more serious answer is that it's mathematical notation so you should skim a mathematical type theory text book along with a lambda calculus textbook, both of which i did on the way to college. Neither of those involve reading a blogpost though so it remains to be seen if a lobsters is capable of doing this or not
All GNU social JP content and data are available under the