Skip to content

Use new syntax for inductive data type decl.#25

Merged
jonaprieto merged 6 commits intomainfrom syntax-changesJan 3, 2023
+18-22

Commits