Timeline for What's the difference between a computation rule and a definitional equality?
Current License: CC BY-SA 4.0
3 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Jul 13, 2022 at 18:24 | comment | added | ice1000♦ | @DanDoel yes, it is written prior to the problems with regularity being noticed. | |
Jul 12, 2022 at 20:49 | comment | added | Dan Doel | I think this is not the complete story, because the paper also says that the computation rule is interpreted judgmentally. It seems to be written prior to the problems with regularity being noticed. So, the paper is making a distinction between "judgmental" and "definitional" equality for the computation rule. I'm not sure this is a universally/widely recognized distinction, though. | |
Jul 12, 2022 at 9:58 | history | answered | Meven Lennon-Bertrand♦ | CC BY-SA 4.0 |