nicer
ignore
yipee
k
Merge branch 'master' of https://github.com/marklemay/agdaWorksheets