search

tnelson / Forge

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

Error for "detached" negative numeric constants #235

Closed tnelson closed 9 months ago

tnelson commented 9 months ago

Resolving issue #208 .