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

Contradiction is not always detected. #34

Closed craff closed 6 years ago

craff commented 6 years ago

Use case in test/old_mccarthy91.pml

rlepigre commented 6 years ago

https://github.com/rlepigre/pml/blob/8714eb9b4aba5b7768f197099fb4395d05c86da3/test/old_mccarthy91.pml#L55

craff commented 6 years ago

Fixed, warning was not issued in the typing of lambda