|
|
|
|
|
|
by bopbeepboop
1927 days ago
|
|
|
Not the person you’re asking, but the “aha” moment for me was connecting whiteboard diagrams with type theory. Whiteboard diagrams work because they’re a categorical diagram related to the semantics of the program I’m trying to write. In the sense that CT and TT are “equivalent”, your whiteboard diagrams are your program. |
|
|