Cammy

Fork

Add a bunch of basic Scott-encoded stuff.

Multisample to antialias drawings.

Make windowed viewports dynamic for drawings.

Improve draw command's memory usage.

jelly: IEEE 754 optimizations.

Draw the Burning Ship.

Realized that I need to reverse the indices in order to get it to draw
in the correct direction.

Draw a recognizable Mandelbrot set.

Start unrolling folds.

This seems to change the optimizer's running time, but not the
performance of output.

Draw what I hope is the edge of the Mandelbrot set.

Add rudimentary scaling and translation.

Perform a smooth gradient; render signed distance functions.

Migrate `pick` to hive; it can be built from `either`.

Fix up float functions, raytrace a cubic function.

Start drawing pictures.

Remove the old compiler.

Create a new Nix-assembled entrypoint.

Call egg2nix ourselves.

This lets us not wait for nixpkgs to have any particular eggs available.

Add many functors.

Factor out list/filter.

This was the strongest motivating example of a user-defined non-nullary
functor, and I'm pleased to see that it works exactly as imagined.

Move several functors to the hive.

jelly can still see through them, mostly. Swapping and tensoring might
need another couple support rules to become truly transparent.

frame: Allow user-defined functors with parameters.

I waffled over this for a while, but ultimately it's going to be
necessary for expressivity.

Add Choice for Booleans.

This does not restrain the target category much; we are only saying that
2 = 1 + 1
Which is relatively standard for sums.

movelist: Use 1 and 2 for the unit and Boolean types.

Give f-sqrt a partial semantics.

We want to keep NaNs out of F.

Add initial floating-point support.

Start benchmarking a bit.

Remove old scaffolding.

Uncurry nat/add and nat/mul, fix compilation.

This is enough to get everything unbroken up to list/gauss.

Build movelist with Nix.

Use new typechecker for compilation.

More cleanup must be done.