Cammy

Fork

Apply jelly to itself to test its quality.

The idea is similar to the Knuth-Bendix algorithm, but including the
possibility that, after E-matching, the source expression is the best
expression; this means that the rule is intentionally explosive and
meant to expose further rewrite opportunities.

Fix up the aspect ratio somewhat for animations.

I can't make it perfect because information about monospace font
geometry isn't reliably available.

Add 3x3 matrices.

Required adding more letters to the pretty-printer for types.

Add swap and dup to movelist, and enrich jelly.

Jet (pair snd fst) to swap.

Jet (pair id id) to dup.

Make sifting slightly more useful.

Use sed to rewrite many expressions.

Factor out some colors.

Kind of surprised by how much this speeds up the ellipse demos.

Print time taken to evaluate elements in REPL.

Add a Max Headroom-inspired demo effect.

Add a fun demo.

Make a nice spinning ellipse.

Do basic animations with libcaca.

Add short atoms for very common operations.

Three of these will eventually be jets, I think.

Add a new tool for finding common subexpressions.

Factor out loading all atoms in a hive.

Automatically recursively create directories.

Add freezing.

I'm dissatisfied with RPython.

Intern S-expressions.

Also add a DUP bytecode just for optimizations.

Draw normal vectors as colors.

Factor term ops in CAM.

Need to clean up the math implementations; maybe they should be in their
own module, not spread across cammylib/cam.py and cammylib/elements.py.

Do some weekend raytracing.

Re-enable jelly acceptance tests.

Add two jets for natural-number arithmetic.

This makes it possible to solve Project Euler Problem 6.

Refactor RPython tools into single multitool.

This is going to result in less compilation time, less duplicated code,
and further simplifications in the RPython modules.

Implement equality on lists.

This was a long-standing issue due to the difficulty of implementing
list/zip.

Adopt a style for predicates.

Update jelly. Also, split Cammy outputs in Nix.

Use the cost category for drawing.