Branch | Commit message | Author | Age | |
---|---|---|---|---|
main | Add table deftype | colin | 5 weeks | |
Age | Commit message | Author | ||
2024-09-14 | Add table deftypeHEADmain | colin | ||
2024-09-08 | added sequence-of type | colin | ||
2024-09-01 | Version Bump | colin | ||
2024-09-01 | Intern generated type predicate names in petty-types package | colin | ||
2024-09-01 | cleanup | colin | ||
2024-09-01 | Add: TUPLE deftype | colin | ||
2024-08-30 | org mode syntax :P | colin | ||
2024-08-30 | Add some text to README | colin | ||
2024-08-17 | Altered list-of and vector-of slightly to support faster failure | colin | ||
2024-08-17 | Add: optional type | colin | ||
[...] |