Giters

jagajaga / tt2014

Type theory (IFMO, 2014)

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

tt2014

Type theory course short conspect (IFMO, 2014)

About

Type theory (IFMO, 2014)

Languages

Language:TeX 94.5%Language:Haskell 5.5%