rbkn99/tt2018-conspect

Введение в Теории Типов

Конспекты студентов КТ ИТМО по лекциям Штукеберга Д. Г.

По поводу улучшений конспекта писать можно GoPavel или в issue.

Другие источники:

• https://github.com/artemohanjanyan/tt-conspect
• статьи и сслыки в README в репозиториях shd/tt20* (например)