Filter RSS
Corbin's History

2022-09-19
2022-08-14
2022-08-02
2022-07-03
23:20
2022-06-20
2022-06-08
2022-06-06
2022-05-18
2022-05-17
09:12
[Git] commits were pushed to 'cammy' (current: 5613ee75cb8e1e43bc0295845f53bff456f5779b)
Factor term ops in CAM. Need to clean up the math implementations; maybe they should be in their...
2022-04-26
22:24
[Git] commits were pushed to 'cammy' (current: 5e5d159188286064f61c6adfc7305a4bc88a03c2)
Successfully compile to a category. The target category is the Kleisli category generated by a c...
2022-04-13
2022-04-11
14:50
[Git] commits were pushed to 'cammy' (current: 7ab896f3b563c04848b450761ef14a5f405e0f3c)
Use a variant of the CAM. More tuning needs to be done, but speed is pretty good compared to the...
2022-03-17
2022-03-08
2022-03-03
01:14
[Git] commits were pushed to 'cammy' (current: fa414c8aa7290f4490cfa29532906f6e59145fe0)
Remove old CHICKEN stub and OCaml frame. We won't be reusing this code, it hasn't been called in...
2022-02-28
13:57
[Git] commits were pushed to 'cammy' (current: 0cb2292a98b637165644cd19cf47133202a2dd79)
Call jelly from RPython. That was a headache, but it appears to work.
2022-02-27
2022-02-26
2022-02-23
2022-02-18
16:36
[Git] commits were pushed to 'cammy' (current: 7a65a2ad61556360b675678d99db2c2a3599afb8)
Split cammy-run into cammy-draw and pieces. The parser and arrow-builder are now in their own mo...