![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Description |
|---|---|---|---|
| Parent Directory | ||
| agda-categorical-recursion/ | 24-Apr-2025 02:11 | Katamorphismen etc. |
| agda-extensionSystem/ | 24-Apr-2025 02:18 | Kleisli-triples |
| agda-coinduction/ | 10-Nov-2023 13:58 | Koinduktion |
| agda-monads/ | 24-Apr-2025 02:21 | Monadenkonstruktionen |
| agda-poset/ | 24-Apr-2025 02:06 | Posets und Closures |
| agda-intro/ | 11-Apr-2024 13:25 | WIP |