ADT TODOs #240
Description
TODO: fix parser so we don't have to write A() with brackets for constants (see test/test-adt-2.ucl)
TODO: add ADTS to the tutorial
(creating issue to track these)
Metadata
Metadata
Assignees
Labels
No labels
{{ message }}
TODO: fix parser so we don't have to write A() with brackets for constants (see test/test-adt-2.ucl)
TODO: add ADTS to the tutorial
(creating issue to track these)