Skip to content

Update to base-3.0.0, replace FiniteMap with Data.Map, replace custom Parser combinators with combinators from Prelude

Niels Bunkenburg requested to merge nbu/smtlib:master into master

Merge request reports