Timeline for Can a language be sound if it doesn't promise safety?
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 20 at 16:14 | history | edited | JacquesB | CC BY-SA 4.0 | added 217 characters in body |
| Aug 19 at 16:34 | history | answered | JacquesB | CC BY-SA 4.0 |