Closed paulcadman closed 4 days ago
This PR add support for Anoma/Nockma representation of the Maybe type (and other Maybe-like inductive types).
Anoma has chosen to represent the Maybe type in Nockma in the following way:
nothing: nil just x: [nil x]
nothing
nil
just x
[nil x]
The strategy used in this PR is the same as the one we use for 'List-like' inductive type representations.
This PR add support for Anoma/Nockma representation of the Maybe type (and other Maybe-like inductive types).
Anoma has chosen to represent the Maybe type in Nockma in the following way:
nothing
:nil
just x
:[nil x]
The strategy used in this PR is the same as the one we use for 'List-like' inductive type representations.