Andrés Sicard-Ramírez 4ffc934df9 Merge agda-maint 9 yıl önce
..
conor 4ffc934df9 Merge agda-maint 9 yıl önce
ulf 85deb1aaef [ examples test ] Ulf's DTP08 talk is not outdated 10 yıl önce