tnelson / Forge

Forge: A Tool and Language for Teaching Formal Methods
https://forge-fm.org/
MIT License
67 stars 9 forks source link

Fix: core top-level wrapping, syntax-location at top-level in "check" macro #254

Closed tnelson closed 8 months ago