Type Theory Course, ITMO University, 2019.
Primary LanguageHaskellMIT LicenseMIT
Type Theory Course, ITMO University.