Commit 615565a3 authored by AVANZINI Martin's avatar AVANZINI Martin
Browse files

two typos fixed

parent 91937b73
......@@ -23,3 +23,5 @@ Load library and examples with `stack ghci`.
-- run benchmark against file
stack exec pwhile-run-testbed -- --diff file
## run executable
stack exec pwhile-exe <file>
* norms from programs
* all conditions
* remove constants
* all vars; all combinations
* exectuable benchmark for overview
* clean up and comment on code
......@@ -9,4 +9,4 @@ extra-deps:
commit: 64ac8dc558e62b82711148f0570b6f12c3b14f0a
- megaparsec-7.0.4
- parser-combinators-1.0.0
resolver: lts-13.9
resolver: lts-13.29
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment