comonoidial/PilGRIM

The Pipelined Graph Reduction Instruction Machine