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

Syntaxe revision (mantis #36) #2

Closed craff closed 6 years ago

craff commented 6 years ago

Reexamine the syntax and see if the current choice are the best ...

craff commented 6 years ago

Almost finished ?

craff commented 6 years ago

The syntax is now more or less stable. It might be extended, but the core is probably stable!