/ZPF

Advanced functional programming (with coq, agda and haskell) 2018

Primary LanguageJupyter Notebook

Stargazers