Timeline for Is an expression in normal form if terminates on normal order but not applicative?
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 21, 2017 at 3:48 | vote | accept | cpd1 | ||
| Dec 22, 2015 at 19:20 | answer | added | JosEduSol | timeline score: 3 | |
| Dec 21, 2015 at 15:15 | comment | added | Anton Trunov | It can be reduced, since it's an application. You can find more details here cs.stackexchange.com/a/7704/39226 | |
| Dec 21, 2015 at 15:13 | comment | added | cpd1 | Thanks for confirming Anton. You did mean to say "since it can't be reduced" right? | |
| Dec 21, 2015 at 15:11 | comment | added | Anton Trunov | No, it's not in normal form, since it can be reduced under both evaluation strategies. | |
| Dec 21, 2015 at 14:59 | review | First posts | |||
| Dec 21, 2015 at 17:20 | |||||
| Dec 21, 2015 at 14:56 | history | asked | cpd1 | CC BY-SA 3.0 |