applied category theorists, when creating categorical models/semantics for PLs, what’s your process? where do you start? diagrams? syntax? definitions? brain-dumping into text? has anyone written about it?
Conversation
also known as: I would like to know why my ideas are bad and how to make them not bad
1
1
who says your ideas are bad? they’re not bad, they might be not well-polished but that’s ok.
1
2
Show replies