Kleisli categories in Agda
Автор: Fredrik Nordvall Forsberg
Загружено: 2021-10-28
Просмотров: 152
Описание: In which we use the category solver to construct Kleisli categories in Agda
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке: