csd-utwente/lect09 at master · bravit/csd-utwente · GitHub

Name		Name	Last commit message	Last commit date
parent directory ..
1-removeElem.idr		1-removeElem.idr
2-elem.idr		2-elem.idr
3-removeElem.idr		3-removeElem.idr
4-isElem.idr		4-isElem.idr
5-occ.idr		5-occ.idr
6-parity-with.idr		6-parity-with.idr
7-binary.idr		7-binary.idr
README.md		README.md

README.md

Lecture 9

Implementing removeElem and Elem data type (examples 1--3).
Decision procedure for Elem (example 4).
Function and relation for the number of occurences (example 5).
Dependent pattern matching using with and Parity view.