This is the type theory course of Omnium Scientia.
To see the syllabus for this course, go to: doc/SYLLABUS.md.
Our soucres are cited inside the PDF, to the full list of the course's sources go to bib.yml. The PDFs of the cited sources are available at https://kdrive.infomaniak.com/app/share/1926560/1d737cf8-c257-47d1-b45e-3657882b5b16 (it is password protected, pw=types).
This course presents the type theory you need to know to be able to leverage the type systems of languages like Ocaml, Haskell, C++, Rust...
Contributors are cited at the beginning of courses material. To see the full list of them: contributors.yml.
If you want to contribute yourself see: CONTRIBUTE.md.