Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
10 check-ins
|
2020-07-13
| ||
| 20:14 | m* now accepts zero arguments. Leaf check-in: bb324da92c user: wcm tags: trunk | |
| 20:09 | Rename monoid-append -> m*. check-in: f25ce7a423 user: wcm tags: trunk | |
| 19:35 | Add some derived procedures for foldables. check-in: 38d6d49ac6 user: wcm tags: trunk | |
| 18:54 | Fix accessor name. check-in: aac1c2ade0 user: wcm tags: trunk | |
| 18:52 | Add make-fold-instance. check-in: 077eb0dc76 user: wcm tags: trunk | |
|
2020-07-07
| ||
| 16:17 | Folds: initial import check-in: 22895856ac user: wcm tags: trunk | |
| 15:47 | Rename product again. check-in: fbc01d18dc user: wcm tags: trunk | |
| 15:45 | Rename and tune m*. Remove integer-monoid. check-in: 3651dbd54c user: wcm tags: trunk | |
| 05:56 | Initial import. check-in: 5d28c17fc2 user: wcm tags: trunk | |
| 05:55 | initial empty check-in check-in: 0578fd7c7c user: wcm tags: trunk | |