search

joelburget / lvca

language verification, construction, and analysis
https://lvca.dev
MIT License
20 stars 0 forks source link

Parsing `int32`s #25

Open joelburget opened 2 years ago

joelburget commented 2 years ago

The primitive parser doesn't currently parse int32s. We should either introduce a syntax for them (?) or document this.