A weird thing?
Conversation
I’m not sure what they are! But yes, maybe predicates. More interested in a graph-based language for nodal editing, but also interested in other projections of the same thing.
1
Some of my colleagues at YesLogic use Mercury, a logic language with explicit ‘modes’. So yeah, that is an inspiration.
No clue what the metatheory would look like though. Just very interested in what happens if you start thinking about other ways of looking at functions. 🤔 (I’m probably reinventing _something_) though.
1
Show replies
