Advanced functional programming (with coq, agda and haskell) 2018
Primary LanguageJupyter Notebook
No issues in this repository yet.