issues
search
MaCS-Club
/
agda-lectures
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Разобраться с проблемой перескакивания презентации на титульную страницу
#5
BeiZero
opened
6 years ago
0
Придумать и добавить упражнения для лекций 1 и 2
#4
BeiZero
opened
6 years ago
0
Добавить возможность просмотра слайдов через github pages
#3
BeiZero
closed
6 years ago
0
Добавить генерацию pdf варианта слайдов
#2
BeiZero
opened
6 years ago
1
Объединить лекции 3 и 3-2
#1
BeiZero
closed
6 years ago
0