stregaml
stregaml copied to clipboard
Recursive Types
Currently, these are supported by virtue of the GC and not checking - when I add the MIR, we'll need to actually start checking!