[Dok Melody Scratchpad Notes]

tech/grin-ir

https://github.com/grin-compiler/grin

The name GRIN is short for Graph Reduction Intermediate Notation, and it is an intermediate language for graph reduction. GRIN is the optimizer and code generator component of the GRIN Compiler project which includes language frontends for Haskell, Idris and Agda.