Papers & Blogs
# Coq
Xavior Leroy 's online course [https://xavierleroy.org/mpri/2-4/](https://xavierleroy.org/mpri/2-4/)
Real Analysis [https://github.com/itleigns/CoqLibrary]
# Agda
Martin Escardo [https://www.cs.bham.ac.uk/~mhe/HoTT-UF-in-Agda-Lecture-Notes/index.html](https://www.cs.bham.ac.uk/~mhe/HoTT-UF-in-Agda-Lecture-Notes/index.html)
# Haskell
Simple Unix Tools [https://wiki.haskell.org/Simple_Unix_tools]