rain is an implementation of an RVSDG with a concept of
lifetimes, inspired by (and implemented in) Rust.
A simple parser, AST and prettyprinter for a textual representation of
Assert two values are judgementally equal
Implemented judgemental equality with
Set judgemental equality between two types to be the same as
Implement judgemental equality with