search

rlepigre / pml

New version of the PML language and (classical) proof assistant
http://pml-lang.org
MIT License
20 stars 2 forks source link

PML loops #33

Closed craff closed 5 years ago

craff commented 6 years ago

See test/infinite.pml

craff commented 5 years ago

There seems to be no more loops except those that are triggered by cyclic values (issue #24)