The Impl construct has no parse rule - Githubissues

rlepigre / pml

New version of the PML language and (classical) proof assistant

http://pml-lang.org

MIT License

20 stars 2 forks source link

The Impl construct has no parse rule #36

Closed craff closed 2 years ago

craff commented 2 years ago

yes it does have one: ↪