NaiveTheory.lidr 7.14 KB