brt.php?search=wide&s=wide&p=adjective&o=wideness
| From Domain | Role | To Domain | Path | Aktionen |
|---|---|---|---|---|
![]() |
![]() |
![]() |
/WSV2023/ | |
![]() |
![]() |
![]() |
/msfp2024/ | |
![]() |
![]() |
![]() |
/ | |
![]() |
![]() |
![]() |
/unott/ | |
![]() |
![]() |
![]() |
/2022/10/30/comonads-monads-upside-down/ | |
![]() |
![]() |
![]() |
/2023/05/22/adjunctions-of-kleisli-type/ | |
![]() |
![]() |
![]() |
/projects/ | |
![]() |
![]() |
![]() |
/projects/ | |
![]() |
![]() |
![]() |
/teaching/ | |
![]() |
![]() |
![]() |
/ | |
![]() |
![]() |
![]() |
/ | |
![]() |
![]() |
![]() |
/ | |
![]() |
![]() |
![]() |
/ | |
![]() |
![]() |
![]() |
/ | |
![]() |
![]() |
![]() |
/notes/Languages/agda-idris/ |