├── .github └── workflows │ └── ci-ubuntu.yml ├── .gitignore ├── README.md ├── archives └── 2024 │ └── courseworks │ ├── 01-Cellular.agda │ └── 02-Tiling.agda ├── courseworks ├── 0-Install │ ├── 0-Install.agda │ ├── Makefile │ └── check-install.cabal ├── 1-Circuits │ ├── 1-Circuits-completed.agda │ ├── 1-Circuits.agda │ └── Makefile └── 2-Genetic │ ├── 2-Genetic-Lib.agda │ ├── 2-Genetic-completed.agda │ ├── 2-Genetic.agda │ ├── Makefile │ └── README.md ├── lectures ├── Week1.agda ├── Week10-2.agda ├── Week10.agda ├── Week2-effectful.ml ├── Week2.agda ├── Week3.agda ├── Week4.agda ├── Week5.agda ├── Week6.agda ├── Week7.agda ├── Week8.agda └── Week9.agda └── lectures_annotated ├── Week1Lecture1.agda ├── Week1Lecture2.agda ├── Week2Lecture1.agda ├── Week2Lecture2.agda ├── Week3Lecture1.agda └── Week3Lecture2.agda /.github/workflows/ci-ubuntu.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/cs410-advanced-functional-programming/HEAD/.github/workflows/ci-ubuntu.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/cs410-advanced-functional-programming/HEAD/.gitignore -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/cs410-advanced-functional-programming/HEAD/README.md -------------------------------------------------------------------------------- /archives/2024/courseworks/01-Cellular.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/cs410-advanced-functional-programming/HEAD/archives/2024/courseworks/01-Cellular.agda -------------------------------------------------------------------------------- /archives/2024/courseworks/02-Tiling.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/cs410-advanced-functional-programming/HEAD/archives/2024/courseworks/02-Tiling.agda -------------------------------------------------------------------------------- /courseworks/0-Install/0-Install.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/cs410-advanced-functional-programming/HEAD/courseworks/0-Install/0-Install.agda -------------------------------------------------------------------------------- /courseworks/0-Install/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/cs410-advanced-functional-programming/HEAD/courseworks/0-Install/Makefile -------------------------------------------------------------------------------- /courseworks/0-Install/check-install.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/cs410-advanced-functional-programming/HEAD/courseworks/0-Install/check-install.cabal -------------------------------------------------------------------------------- /courseworks/1-Circuits/1-Circuits-completed.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/cs410-advanced-functional-programming/HEAD/courseworks/1-Circuits/1-Circuits-completed.agda -------------------------------------------------------------------------------- /courseworks/1-Circuits/1-Circuits.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/cs410-advanced-functional-programming/HEAD/courseworks/1-Circuits/1-Circuits.agda -------------------------------------------------------------------------------- /courseworks/1-Circuits/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/cs410-advanced-functional-programming/HEAD/courseworks/1-Circuits/Makefile -------------------------------------------------------------------------------- /courseworks/2-Genetic/2-Genetic-Lib.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/cs410-advanced-functional-programming/HEAD/courseworks/2-Genetic/2-Genetic-Lib.agda -------------------------------------------------------------------------------- /courseworks/2-Genetic/2-Genetic-completed.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/cs410-advanced-functional-programming/HEAD/courseworks/2-Genetic/2-Genetic-completed.agda -------------------------------------------------------------------------------- /courseworks/2-Genetic/2-Genetic.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/cs410-advanced-functional-programming/HEAD/courseworks/2-Genetic/2-Genetic.agda -------------------------------------------------------------------------------- /courseworks/2-Genetic/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/cs410-advanced-functional-programming/HEAD/courseworks/2-Genetic/Makefile -------------------------------------------------------------------------------- /courseworks/2-Genetic/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/cs410-advanced-functional-programming/HEAD/courseworks/2-Genetic/README.md -------------------------------------------------------------------------------- /lectures/Week1.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/cs410-advanced-functional-programming/HEAD/lectures/Week1.agda -------------------------------------------------------------------------------- /lectures/Week10-2.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/cs410-advanced-functional-programming/HEAD/lectures/Week10-2.agda -------------------------------------------------------------------------------- /lectures/Week10.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/cs410-advanced-functional-programming/HEAD/lectures/Week10.agda -------------------------------------------------------------------------------- /lectures/Week2-effectful.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/cs410-advanced-functional-programming/HEAD/lectures/Week2-effectful.ml -------------------------------------------------------------------------------- /lectures/Week2.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/cs410-advanced-functional-programming/HEAD/lectures/Week2.agda -------------------------------------------------------------------------------- /lectures/Week3.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/cs410-advanced-functional-programming/HEAD/lectures/Week3.agda -------------------------------------------------------------------------------- /lectures/Week4.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/cs410-advanced-functional-programming/HEAD/lectures/Week4.agda -------------------------------------------------------------------------------- /lectures/Week5.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/cs410-advanced-functional-programming/HEAD/lectures/Week5.agda -------------------------------------------------------------------------------- /lectures/Week6.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/cs410-advanced-functional-programming/HEAD/lectures/Week6.agda -------------------------------------------------------------------------------- /lectures/Week7.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/cs410-advanced-functional-programming/HEAD/lectures/Week7.agda -------------------------------------------------------------------------------- /lectures/Week8.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/cs410-advanced-functional-programming/HEAD/lectures/Week8.agda -------------------------------------------------------------------------------- /lectures/Week9.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/cs410-advanced-functional-programming/HEAD/lectures/Week9.agda -------------------------------------------------------------------------------- /lectures_annotated/Week1Lecture1.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/cs410-advanced-functional-programming/HEAD/lectures_annotated/Week1Lecture1.agda -------------------------------------------------------------------------------- /lectures_annotated/Week1Lecture2.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/cs410-advanced-functional-programming/HEAD/lectures_annotated/Week1Lecture2.agda -------------------------------------------------------------------------------- /lectures_annotated/Week2Lecture1.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/cs410-advanced-functional-programming/HEAD/lectures_annotated/Week2Lecture1.agda -------------------------------------------------------------------------------- /lectures_annotated/Week2Lecture2.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/cs410-advanced-functional-programming/HEAD/lectures_annotated/Week2Lecture2.agda -------------------------------------------------------------------------------- /lectures_annotated/Week3Lecture1.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/cs410-advanced-functional-programming/HEAD/lectures_annotated/Week3Lecture1.agda -------------------------------------------------------------------------------- /lectures_annotated/Week3Lecture2.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msp-strath/cs410-advanced-functional-programming/HEAD/lectures_annotated/Week3Lecture2.agda --------------------------------------------------------------------------------