Skip to content

lang: add inductive data types - #143

Draft
zerbina wants to merge 1 commit into
nim-works:mainfrom
zerbina:source-lang-inductive-types
Draft

lang: add inductive data types#143
zerbina wants to merge 1 commit into
nim-works:mainfrom
zerbina:source-lang-inductive-types

Commits

Commits on Apr 6, 2025