|
|
964a3d6d2d
|
fix: don't depend on sb-cover
|
2022-10-08 13:29:44 -07:00 |
|
|
|
5bca889091
|
fix: add missing dependency
|
2022-10-01 12:04:46 -07:00 |
|
|
|
0a90adbe04
|
chore: more tests, fixes
- add DELAY
- fix definition of OF-MAX-LENGTH
- add ignorable declaration to CONJ and DISJ
- lots of new tests
|
2022-10-01 12:03:47 -07:00 |
|
|
|
8fa0b253ab
|
fix(ci): add tests, fix test-op
|
2022-09-27 23:08:46 -07:00 |
|
|
|
a4d622b3df
|
feat(ci): test main system
|
2022-09-27 19:48:08 -07:00 |
|
|
|
801bc1e033
|
chore(license): fix license in ASD
|
2022-03-29 22:37:15 -07:00 |
|
|
|
b7d6687304
|
fix(serapeum): add serapeum as dep for transducer system
|
2022-03-29 22:33:16 -07:00 |
|
|
|
a65fc3873a
|
feat(deps): remove dep on serapeum
|
2022-03-29 22:29:55 -07:00 |
|
|
|
80d1feb182
|
chore(transducers): correct exit code for failing tests
|
2021-01-04 15:45:31 -08:00 |
|
|
|
a5147afadb
|
bug(transducers): fix system names
|
2021-01-04 15:39:53 -08:00 |
|
|
|
c56d5c51fd
|
chore: standardize names with "transducers"
|
2021-01-04 14:13:34 -08:00 |
|
|
|
5bca9a117f
|
chore: reorganize transducer definition
|
2021-01-04 00:48:49 -08:00 |
|
|
|
6aebcfe4dc
|
chore: begin to add tests
|
2021-01-02 22:24:31 -08:00 |
|
|
|
139535d8e5
|
chore: describe transducer system better
|
2020-12-17 19:57:26 -08:00 |
|
|
|
3214bdd335
|
bug: fix system
|
2020-12-13 02:40:10 -08:00 |
|
|
|
b6f51eceaf
|
feat: beginnings of transducers
|
2020-12-13 02:33:16 -08:00 |
|
|
|
38133d6f0a
|
chore: split into files
|
2020-10-05 19:44:35 -07:00 |
|
|
|
1dcfeff5de
|
feat: curried equality
|
2020-09-30 17:06:37 -07:00 |
|
|
|
77728c980c
|
Update email in system
|
2019-04-29 23:19:00 -07:00 |
|
|
|
cbd367763e
|
Fix implicit serapeum dependency, fix lenses to return functors
|
2019-04-29 23:07:10 -07:00 |
|
|
|
72a785dc80
|
Remove dependency
|
2018-12-31 14:19:19 -08:00 |
|
|
|
379da55a94
|
Specify missing dependency
|
2018-12-31 13:52:26 -08:00 |
|
|
|
f7f7b3e6cc
|
more transforms
|
2018-11-06 00:41:32 -08:00 |
|
|
|
4c31b0b944
|
Initial commit
|
2017-08-13 12:49:23 -07:00 |
|
