Timeline for answer to Is there a practical use for dependent types? by lyhokia
Current License: CC BY-SA 4.0
Post Revisions
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 22, 2023 at 13:51 | review | Late answers | |||
| Jul 22, 2023 at 16:43 | |||||
| S Jul 22, 2023 at 13:33 | review | First answers | |||
| Jul 25, 2023 at 19:27 | |||||
| S Jul 22, 2023 at 13:33 | history | answered | lyhokia | CC BY-SA 4.0 |