Timeline for Algebraically-free monadicity theorem
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 22, 2022 at 21:38 | comment | added | varkor | Thanks, these are helpful observations! | |
| Mar 22, 2022 at 21:22 | history | answered | aws | CC BY-SA 4.0 |