On the `Language_object` definition

joelburget / lvca

language verification, construction, and analysis

https://lvca.dev

MIT License

20 stars 0 forks source link

Open joelburget opened 3 years ago

joelburget commented 3 years ago

Classical parts of a language:

abstract syntax (not all types will have this, those that do... add Representable type?)
concrete syntax ☑
statics -- add checking?
dynamics -- 🅇 this is its own separate thing