MaCS-Club / agda-lectures

0 stars 0 forks source link

Объединить лекции 3 и 3-2 #1

Closed BeiZero closed 6 years ago

BeiZero commented 6 years ago

Сейчас все безобразным образом перебралось в лекцию 3-2, а надо бы об этом рассказывать в третьей.