A categorical programming language
| Name | Size | Rev. | Time | Author | Log Message |
|---|---|---|---|---|---|
 cammy-djinn.scm |
421 | f98007b | 2023-02-26 14:30:45 | Corbin | Try to require a normal form during d... |
| cammy-repl.scm |
18.23 k | 1edc88b | 2023-10-21 13:52:25 | Corbin | Try prototyping type inference for al... |
| cammy-type.scm |
408 | 8bb2974 | 2022-12-14 14:46:01 | Corbin | Be more relational when compiling to ... |
| cammy-wasm.scm |
10.12 k | a28b1d9 | 2023-01-11 02:43:11 | Corbin | Factor out some useful relations. I'... |
| cammy.scm |
2.8 k | be70233 | 2023-03-24 19:03:47 | Corbin | Implement trees in REPL and typecheck... |
| cammyo.scm |
11.88 k | 34b5bd0 | 2023-06-05 03:05:20 | Corbin | cammyo: Fix a typo. |
| default.nix |
1.22 k | 6cdc008 | 2023-04-25 14:00:58 | Corbin | Factor the JSON schemata to their own... |
| eggs.nix |
3.85 k | 81c6040 | 2023-02-27 04:50:54 | Corbin | Append new expressions to the heap. ... |
| eggs.scm |
65 | 81c6040 | 2023-02-27 04:50:54 | Corbin | Append new expressions to the heap. ... |
| fp.scm |
9.04 k | 00f0108 | 2023-02-26 16:43:31 | Corbin | Force the principal branch for f-sqrt... |
| rels.scm |
1.65 k | b5d326f | 2023-01-30 11:08:39 | Corbin | Implement sums; start implementing fl... |
| test.json |
1.14 k | 1f9cb97 | 2023-02-04 04:30:32 | Corbin | Try turning around cammy°. Doesn't a... |
 test_moves.py |
488 | 2a8ef1f | 2022-03-22 13:36:01 | Corbin | Teach movelist about swap. By synthe... |
Fork