summaryrefslogtreecommitdiff
path: root/src/Soat/Data/Sublist.idr
AgeCommit message (Collapse)Author
2022-11-25Prove index property of shuffle.Greg Brown
2022-11-25Prove curry and uncurry form an isomorphism.Greg Brown
2022-11-22Define unordered sublist relation.Greg Brown