Timeline for Why does Coq include let-expressions in its core language
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 11, 2019 at 19:58 | vote | accept | Labbekak | ||
| Sep 11, 2019 at 19:24 | history | edited | Andrej Bauer | CC BY-SA 4.0 |
deleted 1 character in body
|
| Sep 11, 2019 at 18:28 | history | edited | Andrej Bauer | CC BY-SA 4.0 |
added 65 characters in body
|
| Sep 11, 2019 at 17:25 | history | edited | Andrej Bauer | CC BY-SA 4.0 |
deleted 3 characters in body
|
| Sep 11, 2019 at 17:16 | history | edited | Andrej Bauer | CC BY-SA 4.0 |
added 679 characters in body
|
| Sep 11, 2019 at 17:11 | history | answered | Andrej Bauer | CC BY-SA 4.0 |