Records, polyvariants and row types in Zilch

zilch-lang / specification

A complete specification on Zilch and N⋆

BSD 3-Clause "New" or "Revised" License

10 stars 0 forks source link

Closed Mesabloo closed 3 years ago

Mesabloo commented 3 years ago

See zilch-lang/gzc#8 and https://github.com/zilch-lang/gzc/discussions/4#discussioncomment-1362552 for the discussion around these features. We only need to formalize the syntax and the type system.