Skip to main content

Browse the archive

Revision 7b7008967c810dab1b0766c4e299bd857a370d02 authored by François Dupressoir on 14 December 2021, 15:43:15 UTC, committed by Pierre-Yves Strub on 22 April 2022, 10:53:46 UTC 
Improve parser for anonymous proc parameters
 
Anonymous and named parameters can be mixed for abstract procedures.

Corner cases are not exercised by test suites and may crop up.

Resolves #108.
1 parent 74a4d02
Raw File
.gitignore 
*~

*.pyc
*.pyo

/_build
/etc
/theories/attic

/ec.*
/src/*.exe

*.eco

/*.ec
/*.eca
/*.smt
/*.why

.merlin
*.install
back to top