Luke Adams

feat: Assign labels a color

16

It would be nice to be able to assign each label a color, and use that color every time the label is printed.

Use Penrose to visualize e-graphs

1

This is a speculative issue. It would be great to visualize an e-graph, and in particular how the saturation proceeds. Arranging the diagram in a visually informative way seems in...

Support new where syntax

1

`Lint` does not seem to support the new `where` syntax. For example, this ```julia struct Struct{T

Initial layout for matrices

2

This builds on the work in #56 (which itself builds on #50). All those commits have been rebased onto master for convience. I implemented a simple layout algorithm for matrices...

Add HDF5 loader

1

Some complications that this loader might introduce: * a single `.h5` file frequently corresponds to several `Dataset`s, and it would be nice if the specification in `Data.toml` could refer directly...