search

strega-nil / stregaml

Experimenting with a language implementation in ocaml
Apache License 2.0
33 stars 0 forks source link

Recursive Types #7

Open strega-nil opened 5 years ago

strega-nil commented 5 years ago

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