3 ms·
I would like to have a programming language that also works as a logic, and doesn't use types to achieve that. Think equational reasoning, but with binders.
by auggierose 3y ago
I would like to have a programming language that also works as a logic, and doesn't use types to achieve that. Think equational reasoning, but with binders.