flupe 7e6b53458b first commit		2022-09-22 12:03:58 +02:00
..
agda2hs-haskell22.pdf	first commit	2022-09-22 12:03:58 +02:00
generics-agda-icfp22.pdf	first commit	2022-09-22 12:03:58 +02:00