Skip to content

Move interface and world declarations.#1

Merged
peterhuene merged 2 commits intomainfrom type-stmtsSep 20, 2023

Commits

Commits on Sep 15, 2023

Commits on Sep 16, 2023