Certified Termination in Agda
Texte, Software, Beispiele zur Computermusik
test cases for Data.Set.fromDistinctAscList(N)