Timeline for Selection terms in the untyped lambda calculus
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 16, 2023 at 13:12 | vote | accept | provocateur | ||
| Nov 16, 2023 at 9:34 | answer | added | Damiano Mazza | timeline score: 5 | |
| Nov 14, 2023 at 15:05 | history | edited | LSpice | CC BY-SA 4.0 |
Capitalise title, and `\dots`
|
| Nov 14, 2023 at 13:59 | history | asked | provocateur | CC BY-SA 4.0 |