├── .gitignore ├── Lecture1 ├── Exercises1-solution.idr.gpg ├── Exercises1.idr ├── Lecture1-crib.idr ├── Lecture1.idr ├── OneRing.png ├── galois.png ├── overlap-1.svg ├── overlap-2.svg └── overlap-3.svg ├── Lecture2.idr ├── Lecture2 ├── Exercises2-solutions.idr.gpg ├── Exercises2.idr ├── Lecture2.idr ├── Lecture2Code-Exercise.idr.gpg ├── Lecture2Code.idr ├── Lecture2Crib.idr ├── deBruijn.png ├── deBruijn.xcf └── galois.png ├── Lecture3 ├── Exercises3-solution.idr.gpg ├── Exercises3.idr ├── Lecture3-crib.idr ├── Lecture3.idr ├── compiler.png ├── compiler.xcf ├── galois.png └── names.txt └── README.org /.gitignore: -------------------------------------------------------------------------------- 1 | *.ibc 2 | *~ 3 | -------------------------------------------------------------------------------- /Lecture1/Exercises1-solution.idr.gpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisAtGalois2015/HEAD/Lecture1/Exercises1-solution.idr.gpg -------------------------------------------------------------------------------- /Lecture1/Exercises1.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisAtGalois2015/HEAD/Lecture1/Exercises1.idr -------------------------------------------------------------------------------- /Lecture1/Lecture1-crib.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisAtGalois2015/HEAD/Lecture1/Lecture1-crib.idr -------------------------------------------------------------------------------- /Lecture1/Lecture1.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisAtGalois2015/HEAD/Lecture1/Lecture1.idr -------------------------------------------------------------------------------- /Lecture1/OneRing.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisAtGalois2015/HEAD/Lecture1/OneRing.png -------------------------------------------------------------------------------- /Lecture1/galois.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisAtGalois2015/HEAD/Lecture1/galois.png -------------------------------------------------------------------------------- /Lecture1/overlap-1.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisAtGalois2015/HEAD/Lecture1/overlap-1.svg -------------------------------------------------------------------------------- /Lecture1/overlap-2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisAtGalois2015/HEAD/Lecture1/overlap-2.svg -------------------------------------------------------------------------------- /Lecture1/overlap-3.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisAtGalois2015/HEAD/Lecture1/overlap-3.svg -------------------------------------------------------------------------------- /Lecture2.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisAtGalois2015/HEAD/Lecture2.idr -------------------------------------------------------------------------------- /Lecture2/Exercises2-solutions.idr.gpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisAtGalois2015/HEAD/Lecture2/Exercises2-solutions.idr.gpg -------------------------------------------------------------------------------- /Lecture2/Exercises2.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisAtGalois2015/HEAD/Lecture2/Exercises2.idr -------------------------------------------------------------------------------- /Lecture2/Lecture2.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisAtGalois2015/HEAD/Lecture2/Lecture2.idr -------------------------------------------------------------------------------- /Lecture2/Lecture2Code-Exercise.idr.gpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisAtGalois2015/HEAD/Lecture2/Lecture2Code-Exercise.idr.gpg -------------------------------------------------------------------------------- /Lecture2/Lecture2Code.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisAtGalois2015/HEAD/Lecture2/Lecture2Code.idr -------------------------------------------------------------------------------- /Lecture2/Lecture2Crib.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisAtGalois2015/HEAD/Lecture2/Lecture2Crib.idr -------------------------------------------------------------------------------- /Lecture2/deBruijn.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisAtGalois2015/HEAD/Lecture2/deBruijn.png -------------------------------------------------------------------------------- /Lecture2/deBruijn.xcf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisAtGalois2015/HEAD/Lecture2/deBruijn.xcf -------------------------------------------------------------------------------- /Lecture2/galois.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisAtGalois2015/HEAD/Lecture2/galois.png -------------------------------------------------------------------------------- /Lecture3/Exercises3-solution.idr.gpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisAtGalois2015/HEAD/Lecture3/Exercises3-solution.idr.gpg -------------------------------------------------------------------------------- /Lecture3/Exercises3.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisAtGalois2015/HEAD/Lecture3/Exercises3.idr -------------------------------------------------------------------------------- /Lecture3/Lecture3-crib.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisAtGalois2015/HEAD/Lecture3/Lecture3-crib.idr -------------------------------------------------------------------------------- /Lecture3/Lecture3.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisAtGalois2015/HEAD/Lecture3/Lecture3.idr -------------------------------------------------------------------------------- /Lecture3/compiler.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisAtGalois2015/HEAD/Lecture3/compiler.png -------------------------------------------------------------------------------- /Lecture3/compiler.xcf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisAtGalois2015/HEAD/Lecture3/compiler.xcf -------------------------------------------------------------------------------- /Lecture3/galois.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisAtGalois2015/HEAD/Lecture3/galois.png -------------------------------------------------------------------------------- /Lecture3/names.txt: -------------------------------------------------------------------------------- 1 | Peter 2 | Jens 3 | Anne 4 | Lars 5 | Michael 6 | Kirsten 7 | -------------------------------------------------------------------------------- /README.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisAtGalois2015/HEAD/README.org --------------------------------------------------------------------------------