flupe ff2a966a2e add aim attendance, polarity paper		2023-09-08 15:04:21 +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
polarity-types23.pdf	add aim attendance, polarity paper	2023-09-08 15:04:21 +02:00