CS410-15

being the materials for CS410 Advanced Functional Programming in the 2015/16 session

Name		Name	Last commit message	Last commit date
Latest commit History 40 Commits
notes		notes
.gitignore		.gitignore
ANSIEscapes.hs		ANSIEscapes.hs
CS410-Functor.agda		CS410-Functor.agda
CS410-Indexed.agda		CS410-Indexed.agda
CS410-Monoid.agda		CS410-Monoid.agda
CS410-Nat.agda		CS410-Nat.agda
CS410-Prelude.agda		CS410-Prelude.agda
CS410-Vec.agda		CS410-Vec.agda
CS410-notes.pdf		CS410-notes.pdf
CS410.txt		CS410.txt
Cat.agda		Cat.agda
Ex1-blah.agda		Ex1-blah.agda
Ex1.agda		Ex1.agda
Ex1Sol.agda		Ex1Sol.agda
Ex2.agda		Ex2.agda
Ex3.agda		Ex3.agda
Ex3Lec.agda		Ex3Lec.agda
Ex4.agda		Ex4.agda
Ex4Haskell.hs		Ex4Haskell.hs
Ex5.agda		Ex5.agda
Ex6AgdaSetup.agda		Ex6AgdaSetup.agda
Ex6App.agda		Ex6App.agda
Ex6Edit.agda		Ex6Edit.agda
HaskellSetup.hs		HaskellSetup.hs
Hello.agda		Hello.agda
LICENSE		LICENSE
Lec2.agda		Lec2.agda
Lec3.agda		Lec3.agda
Lec6.agda		Lec6.agda
Lec8.agda		Lec8.agda
LecDiff.agda		LecDiff.agda
LecIC.agda		LecIC.agda
LecSigma.agda		LecSigma.agda
LecStr.agda		LecStr.agda
Makefile		Makefile
McK-B.agda		McK-B.agda
README.md		README.md

Provide feedback