![]() | Name | Last modified | Description |
---|---|---|---|
![]() | Parent Directory | ||
![]() | agda-intro/ | 11-Apr-2024 13:25 | WIP |
![]() | agda-poset/ | 24-Apr-2025 02:06 | Posets und Closures |
![]() | agda-monads/ | 24-Apr-2025 02:21 | Monadenkonstruktionen |
![]() | agda-coinduction/ | 10-Nov-2023 13:58 | Koinduktion |
![]() | agda-extensionSystem/ | 24-Apr-2025 02:18 | Kleisli-triples |
![]() | agda-categorical-recursion/ | 24-Apr-2025 02:11 | Katamorphismen etc. |