caryoscelus/agda: My dev branches of agda (i.e. mostly a mirror) @ ce9b4068190f6b5b4b92b9deb3fdcace0c6345ea

Ulf Norell b56b3965a6 [ backend ] updated compiler pragmas in test cases		7 yıl önce
..
N-queens.agda	b56b3965a6 [ backend ] updated compiler pragmas in test cases	7 yıl önce