NaiveTheory.lidr 2.57 KB