Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
43 check-ins
2020-05-18
| ||
19:59 | We have a SRFI number. Update library name everywhere. Leaf check-in: ca68a023b5 user: Zipheir tags: trunk | |
2020-05-17
| ||
16:34 | Swap range-fold[-right] arguments and update all related code. check-in: b5557ac5e6 user: Zipheir tags: trunk | |
2020-05-14
| ||
23:20 | Add note about type checking in range. check-in: cbd10579e1 user: Zipheir tags: trunk | |
23:14 | Update NOTES to reflect recent spec changes. check-in: 689b283c68 user: Zipheir tags: trunk | |
22:55 | Remove hard dependencies on SRFIs 1 and 145. check-in: 60265affe1 user: Zipheir tags: trunk | |
22:48 | Add dummy version of SRFI 78's check-report. Call check-all at end of test.scm. check-in: c8b7ec21dc user: Zipheir tags: trunk | |
20:06 | Amend note. check-in: 7e3c986541 user: Zipheir tags: trunk | |
20:05 | Markdown: no italics within code formatting. check-in: f72e4d19f0 user: Zipheir tags: trunk | |
20:00 | Amend note for grammar and correctness. check-in: cc30106fa8 user: Zipheir tags: trunk | |
19:22 | Add constructor tests. check-in: 390ae77dd6 user: Zipheir tags: trunk | |
19:11 | Give a more rigorous implementation of `range'. check-in: 62a84afdff user: Zipheir tags: trunk | |
19:02 | Updates and minor improvements to predicate and accessor tests. check-in: 96eb03bc7f user: Zipheir tags: trunk | |
18:52 | Trying to construct a numeric range with a non-natural-number length is an error. Add a note of this. check-in: 15ecaca49b user: Zipheir tags: trunk | |
17:11 | Add checks for conversion procedures. Add check-all. check-in: 975ad3248c user: Zipheir tags: trunk | |
16:52 | Tests for the range-X-while-right functions. check-in: c51b68b03b user: Zipheir tags: trunk | |
04:10 | Implement `range-start' in terms of `range-ref'. In the presence of `range-reverse', the lower bound of a range can't be assumed to be the same as the 0th element. check-in: 26a4f9e500 user: Zipheir tags: trunk | |
04:08 | Add tests for `range-reverse'. check-in: c09f58f7ff user: Zipheir tags: trunk | |
03:52 | Add `range-reverse'. check-in: fe40e74933 user: Zipheir tags: trunk | |
2020-05-13
| ||
22:46 | Add tests for most searching procedures. check-in: a8d6c43d9b user: Zipheir tags: trunk | |
22:44 | Correct `range-drop-while'. check-in: f54f484e6e user: Zipheir tags: trunk | |
00:08 | Add most of the iteration tests. check-in: 7e05f81e4d user: Zipheir tags: trunk | |
2020-05-12
| ||
23:46 | Fix error in `range->generator'. check-in: 045fe49d4d user: Zipheir tags: trunk | |
23:36 | Fix errors in several iterators. check-in: 4eb98dae8b user: Zipheir tags: trunk | |
23:25 | Fix `range-any'. Add comment on `range-split-at'. check-in: 0d24e09fdc user: Zipheir tags: trunk | |
21:30 | Add split test. check-in: a7f50fa7a6 user: Zipheir tags: trunk | |
17:16 | Add more tests, and change implementation of range-includes?. (See notes.) check-in: a837196a2a user: Zipheir tags: trunk | |
02:57 | Tests, initial import. check-in: 9a9129b0c0 user: Zipheir tags: trunk | |
2020-05-11
| ||
22:35 | Add license and README. check-in: 9e22a62d54 user: Zipheir tags: trunk | |
20:00 | Add `range-any' and `range-every'. check-in: a8f5f4f384 user: Zipheir tags: trunk | |
19:40 | Rename NOTES. check-in: 252d3dcd23 user: Zipheir tags: trunk | |
19:35 | Minor refactor of `range-take-right'. check-in: 33eb245b0a user: Zipheir tags: trunk | |
19:27 | Add right versions of `take/drop-while'. check-in: d37660f7b2 user: Zipheir tags: trunk | |
18:29 | Fix error in `range-take-right'. check-in: 111efc5721 user: Zipheir tags: trunk | |
18:22 | Add left-to-right searching procedures. Add `range->generator'. check-in: cc637ad898 user: Zipheir tags: trunk | |
03:05 | Add a bunch of iterators. check-in: 84da0c1f8f user: Zipheir tags: trunk | |
02:03 | Use the natural reals comparator. check-in: f7413c9ac5 user: Zipheir tags: trunk | |
01:58 | Add `range-take-right' and `range-drop-right'. check-in: 58d572a162 user: Zipheir tags: trunk | |
01:38 | Use `exact', for now. check-in: be6f7d7d43 user: Zipheir tags: trunk | |
01:36 | Add license blurb. check-in: 975b3b21a7 user: Zipheir tags: trunk | |
01:28 | Implement `range-take' and `range-drop'. Add check for invalid index in `range-split-at'. Add NOTES. check-in: e4fcaecfe1 user: Zipheir tags: trunk | |
01:26 | Add initial exports. check-in: 98951454eb user: Zipheir tags: trunk | |
2020-05-10
| ||
21:39 | Initial import. check-in: 70cd4c876e user: Zipheir tags: trunk | |
21:10 | initial empty check-in check-in: c6621ee819 user: Zipheir tags: trunk | |