Content
@
0 reply
0 recast
0 reaction
jtriley.eth
@jtriley
in case you missed it, type theory is one of the deepest rabbit holes i've come across. so if you have shit to do and are looking for a tldr from primitives to the lambda cube, here's your article :3 https://jtriley.substack.com/p/type-theory
0 reply
2 recasts
7 reactions
