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

Automated totality (mantis #35) #6

Closed craff closed 6 years ago

craff commented 6 years ago

Managing totality manually is too painful. Should be annotated on the arrow type.

craff commented 6 years ago

Mostly done. Only issue #28 and #29 remains.