4 ms·
I see. So what are some features that would satisfy the criterium that you would like to see in languages?
by prmph 3y ago
I see. So what are some features that would satisfy the criterium that you would like to see in languages?
- auggierose 3y agoI 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.