This website works better with JavaScript
Головна сторінка
Огляд
Довідка
Увійти
syevale111
/
edu
Слідкувати
1
Зірка
0
Відгалуження
0
Файли
Проблеми
5
Запити на злиття
0
Wiki
Дерево:
82b12faf32
Гілки
Теги
master
edu
/
.gitignore
.gitignore
21 B
Історія
Запис
1
2
3
# ---> Agda
*.agdai