Add some assertions that all `Term`s produced by elaboration and quotatation are well-scoped

yeslogic / fathom

🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧

Apache License 2.0

259 stars 14 forks source link

Closed Kmeakin closed 1 year ago

Kmeakin commented 1 year ago

Could also be done with contracts if we don't mind adding an extra dependency.

Kmeakin commented 1 year ago

Abandoning