/tt-conspect

Notes for type theory course

Primary LanguageTeX

Type Theory

Notes for Type Theory ITMO course, spring 2016.

Latest build can be found on Dropbox.
Feel free to contribute or contact me, if you have questions or suggestions.