Age | Commit message (Collapse) | Author | |
---|---|---|---|
2024-09-14 | Add table deftypeHEADmain | colin | |
2024-09-08 | added sequence-of type | colin | |
2024-09-01 | Intern generated type predicate names in petty-types package | colin | |
2024-09-01 | Add: TUPLE deftype | colin | |
2024-08-17 | Altered list-of and vector-of slightly to support faster failure | colin | |
2024-08-17 | Add: optional type | colin | |
2024-07-28 | Initial Commit | colin | |