issues
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
Improve type inference
#37
Closed
craff
closed
5 years ago
craff
commented
6 years ago
Reference this issue in .pml file when we are not satisfied.
Reference this issue in .pml file when we are not satisfied.