All Questions
Tagged with logical-relations functional-programming
1 question
7
votes
2
answers
860
views
Free theorems, where?
I've found this webapp which lets you generate a free theorem for a given type.
The generated theorems quantify over types and relations on these types. These theorems (formulas) are theorems of which ...
- 89