Для этого сайта требуется поддержка JavaScript.
Обзор
Помощь
Вход
rhi
/
agda-prelude
Следить
1
В избранное
0
Форкнуть
Вы уже форкнули agda-prelude
0
Код
Задачи
Запросы на слияние
Релизы
Вики
Активность
not that one, another one. just some reexports from the stdlib
1
коммит
1
ветка
0
Теги
93
KiB
Agda
100%
main
Перейти к файлу
HTTPS
Скачать ZIP
Скачать TAR.GZ
Скачать BUNDLE
Клонировать в VS Code
Сослаться на этот репозиторий
APA
BibTeX
Отмена
rhiannon morris
ed0a773c2f
First
2021-07-09 08:22:09 +02:00
.gitignore
First
2021-07-09 08:22:09 +02:00
Prelude.agda
First
2021-07-09 08:22:09 +02:00
prelude.agda-lib
First
2021-07-09 08:22:09 +02:00