CS410-17
CS410-17 copied to clipboard
pigworker
being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde
Starting from Lecture 9 or so, some operators are introduced which allow writing a proof in an equational reasoning style. Specifically, I am talking about `_=[_>=_`, `_=
Doing exercise 1 I found this warning: ``` /Volumes/Dev/Programming/Proof/Agda/exercises/CS410-2017/course/exercises/CS410-Prelude.agda:173,1-26 Builtin CONS no longer exists. It is now bound by BUILTIN LIST when checking the pragma BUILTIN CONS _,-_ /Volumes/Dev/Programming/Proof/Agda/exercises/CS410-2017/course/exercises/CS410-Prelude.agda:172,1-23 Builtin...
My github-fu isn't strong, so hopefully opening an issue as means of communication isn't in bad taste. In lecture six (actually, at the end of lecture five, if you take...