Timeline for Category Set language using simply typed lambda calculus
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 22, 2022 at 18:36 | history | edited | Discrete lizard♦ |
edited tags
|
|
| Dec 13, 2020 at 18:01 | answer | added | Andrej Bauer | timeline score: 2 | |
| Dec 13, 2020 at 13:17 | review | First posts | |||
| Dec 27, 2020 at 13:19 | |||||
| Dec 13, 2020 at 13:12 | history | asked | povSun | CC BY-SA 4.0 |