Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
50 most recent check-ins
|
2022-05-20
| ||
| 23:39 | Fix atom-to-function Leaf check-in: 10720b7cf9 user: abuffseagull tags: trunk | |
|
2022-03-05
| ||
| 21:55 | Fucking multiinsertLR&co, my brain is breaking check-in: bd090a29b3 user: abuffseagull tags: trunk | |
| 21:28 | multiremberT, multirember&co and multiinsertLR check-in: 5cdd5f277f user: abuffseagull tags: trunk | |
|
2022-02-20
| ||
| 20:17 | Add multirember-f check-in: 91e783066f user: abuffseagull tags: trunk | |
| 19:14 | Add atom-to-function check-in: 2ef099b7bc user: abuffseagull tags: trunk | |
| 19:06 | Add insert-g check-in: 48270f69a7 user: abuffseagull tags: trunk | |
|
2022-02-09
| ||
| 04:29 | Add some curried functions check-in: feb20176d5 user: abuffseagull tags: trunk | |
| 04:07 | Add one-to-one? check-in: bbeeb82d35 user: abuffseagull tags: trunk | |
| 04:03 | Add a pair reverse function check-in: bb79fabe33 user: abuffseagull tags: trunk | |
| 03:53 | Add fun? and third check-in: 65f47535de user: abuffseagull tags: trunk | |
| 03:46 | Add some pair utility functions check-in: 655efad7f5 user: abuffseagull tags: trunk | |
| 03:43 | Add a-pair? check-in: 22939e5e68 user: abuffseagull tags: trunk | |
| 03:35 | Add intersectall check-in: 3ccd3450b0 user: abuffseagull tags: trunk | |
|
2021-11-28
| ||
| 16:09 | Fix union and add difference check-in: c28697e7ba user: abuffseagull tags: trunk | |
| 16:03 | Add union check-in: e0261a098f user: abuffseagull tags: trunk | |
|
2021-11-27
| ||
| 17:20 | Add intersect check-in: a33a2a8011 user: abuffseagull tags: trunk | |
| 02:56 | Simplify intersect? check-in: c9a8e8d315 user: abuffseagull tags: trunk | |
| 02:53 | Add intersect? long version check-in: af4d854a10 user: abuffseagull tags: trunk | |
| 02:43 | Add eqset? check-in: 52dc8f3564 user: abuffseagull tags: trunk | |
| 02:32 | Add subset check-in: c854f6f046 user: abuffseagull tags: trunk | |
| 02:20 | 2 different versions of makeset check-in: beb996f313 user: abuffseagull tags: trunk | |
| 00:16 | Add set? check-in: 25e7b53ae1 user: abuffseagull tags: trunk | |
| 00:11 | Change all eq? to equal? check-in: 91d099a762 user: abuffseagull tags: trunk | |
|
2021-11-26
| ||
| 23:58 | More stuff from shadows check-in: 1f5fa598b4 user: abuffseagull tags: trunk | |
| 23:28 | Add value check-in: 62fdcff2d5 user: abuffseagull tags: trunk | |
| 23:14 | Simplify numbered? check-in: 71dd507a07 user: abuffseagull tags: trunk | |
| 23:14 | Add numbered? check-in: e52ee2557b user: abuffseagull tags: trunk | |
| 22:49 | Change rember to work on S-Expressions check-in: d826728d37 user: abuffseagull tags: trunk | |
| 21:54 | Simplify eqlist? using equal? MUTUALLY RECURSIVE MADNESS check-in: c4123b78b2 user: abuffseagull tags: trunk | |
| 21:47 | Simplify atom cases in eqlist? check-in: 9a69eceb35 user: abuffseagull tags: trunk | |
| 21:18 | Simplify first 3 cases check-in: 594d07736b user: abuffseagull tags: trunk | |
| 20:45 | Use book's eqlist? check-in: 5d2937c18b user: abuffseagull tags: trunk | |
| 03:29 | Simplify eqlist? check-in: 6b71acb1fb user: abuffseagull tags: trunk | |
| 03:24 | Add eqlist? check-in: e95e96cb45 user: abuffseagull tags: trunk | |
|
2021-10-19
| ||
| 03:20 | Add leftmost check-in: a13b6bade0 user: abuffseagull tags: trunk | |
| 02:55 | Add member* check-in: 4a13e855d9 user: abuffseagull tags: trunk | |
| 02:51 | Add insertL* check-in: 7b1d2fca2e user: abuffseagull tags: trunk | |
| 02:45 | Add subst* check-in: c25d3b1875 user: abuffseagull tags: trunk | |
|
2021-10-16
| ||
| 18:01 | Add occur* check-in: c8d904530b user: abuffseagull tags: trunk | |
|
2021-10-12
| ||
| 02:06 | Flatten some conds check-in: adda410549 user: abuffseagull tags: trunk | |
|
2021-10-03
| ||
| 02:06 | Add insertR* check-in: a34d4f4878 user: abuffseagull tags: trunk | |
| 00:35 | Add rember* check-in: d703808a04 user: abuffseagull tags: trunk | |
|
2021-10-02
| ||
| 23:58 | Use `one?` in `rempick` check-in: 29db5edbda user: abuffseagull tags: trunk | |
| 23:56 | Add one? check-in: 3d3a3be9dc user: abuffseagull tags: trunk | |
| 23:54 | Add occur check-in: d77119731e user: abuffseagull tags: trunk | |
| 23:49 | Add eqan? check-in: c71adc7149 user: abuffseagull tags: trunk | |
| 23:46 | Add all-nums check-in: 48c2553f37 user: abuffseagull tags: trunk | |
| 23:38 | Add no-nums check-in: 14413c0b69 user: abuffseagull tags: trunk | |
| 23:27 | Add rempick function check-in: a28b7eb872 user: abuffseagull tags: trunk | |
| 23:24 | Add pick function check-in: 6e2595abad user: abuffseagull tags: trunk | |