search

Paradoxika / Skeptik

A library for Proof Theory (especially Proof Compression) in Scala.
33 stars 25 forks source link

Implement Reset Method for Parsers #112

Open ceilican opened 8 years ago

ceilican commented 8 years ago

See the conversation in PR: https://github.com/Paradoxika/Skeptik/pull/110

ceilican commented 8 years ago

If a parser is not immutable, then the reset method should reset any mutable variables.