summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
2020-04-28All functionality done except for isomorphism?Jed Barber
2020-04-24Library skeleton now compiles, with skeleton-related warningsJed Barber
2020-04-24Skeleton of package bodyJed Barber
2020-04-24Iterator portion of specJed Barber
2020-04-23Private portion of spec done except for Iterators and PragmasJed Barber
2020-04-23API more or less completeJed Barber
2020-04-23Types in package spec skeletonJed Barber