Rev. | Time | Author |
---|---|---|
1eaef1a | 2023-02-16 15:08:17 | Corbin |
Refactor eval° fresh variables. |
||
5342c2d | 2023-02-16 11:44:32 | Corbin |
Fix recursion for decoding, too. |
||
1363a06 | 2023-02-16 11:09:45 | Corbin |
Fix recursion in elt->str. |
||
fc5364c | 2023-02-16 07:44:47 | Corbin |
Hammer out the core of an interpreter for CCCs with NNO. |
||
0afd046 | 2023-02-16 05:18:47 | Corbin |
Add ability to switch between Set and Rel. |
||
35d8218 | 2023-02-15 10:29:23 | Corbin |
Add read-only hive support to new REPL. |
||
ffe7b54 | 2023-02-15 10:28:48 | Corbin |
cammyo: Rearrange clauses for convergence. |
||
1f9cb97 | 2023-02-04 04:30:32 | Corbin |
Try turning around cammy°. |
||
ecdf2d2 | 2023-02-03 06:42:37 | Corbin |
Figure out FP multiplication. |
||
5a96f32 | 2023-02-03 01:31:41 | Corbin |
Correct exponent handling for addition. |
||
2ab7e11 | 2023-02-02 23:22:43 | Corbin |
Fix FP reificiation. |
||
23bcde0 | 2023-02-02 14:41:01 | Corbin |
Debug FP multiplication somewhat. |
||
ec5a068 | 2023-02-02 13:32:51 | Corbin |
Finish implementing FP. |
||
65b06ab | 2023-01-30 16:33:19 | Corbin |
Clean up imports, fix FP unifications. |
||
6209f4c | 2023-01-30 15:50:21 | Corbin |
More FP. |
||
bacf8c1 | 2023-01-30 15:03:37 | Corbin |
Really start implementing FP. |
||
dee936e | 2023-01-30 12:54:38 | Corbin |
Make jelly acceptance jelly-specific. |
||
455bde1 | 2023-01-30 12:08:19 | Corbin |
Factor eval° more; make n-pred-maybe reversible. |
||
b5d326f | 2023-01-30 11:08:39 | Corbin |
Implement sums; start implementing floats. |
||
c8cc966 | 2023-01-29 14:08:36 | Corbin |
Implement relational currying. |
||
0f322ce | 2023-01-28 14:30:24 | Corbin |
Search backwards through eval° and cammy°. |
||
9e2117f | 2023-01-25 12:16:19 | Corbin |
Use a faster sorting routine. |
||
e2e6c66 | 2023-01-25 10:34:03 | Corbin |
Delete Honey. |
||
1793513 | 2023-01-25 07:28:58 | Corbin |
Add a djinn to the new REPL. |
||
905bc92 | 2023-01-25 06:46:24 | Corbin |
Genuine computation of images and fibers. |
||
0f8f6b6 | 2023-01-25 02:01:07 | Corbin |
Evaluate images and preimages directly. |
||
5f1392f | 2023-01-24 14:02:52 | Corbin |
First swing at computing the image of functions. |
||
5a15826 | 2023-01-24 12:39:02 | Corbin |
Print out elements and time taken. |
||
490378c | 2023-01-24 09:45:20 | Corbin |
Format types nicely. |
||
73db59f | 2023-01-24 08:47:52 | Corbin |
Fuck it. Scheme REPL. |