- 21 Mar, 2019 1 commit
-
-
Hans-Peter Deifel authored
-
- 18 Mar, 2019 1 commit
-
-
Hans-Peter Deifel authored
-
- 14 Mar, 2019 10 commits
-
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
Fixes a syntax error that prevented this example from being parsed.
-
Hans-Peter Deifel authored
Corrects some typos and fixes the stack command used to execute the examples.
-
Hans-Peter Deifel authored
Removes lots of code duplication
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
- 12 Mar, 2019 2 commits
-
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
Just for completeness. The corresponding `max` implementations were already there.
-
- 11 Mar, 2019 3 commits
-
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
- 10 Mar, 2019 1 commit
-
-
Hans-Peter Deifel authored
This means that `insert undefined bag` now evaluates to undefined in WHNF.
-
- 09 Mar, 2019 2 commits
-
-
Hans-Peter Deifel authored
This was the intention all along.
-
Hans-Peter Deifel authored
-
- 08 Mar, 2019 10 commits
-
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
This was a bug in the `delmin` helper that is used to delete the smallest element of the right tree. It deleted too much.
-
Hans-Peter Deifel authored
This caused erroneous calls to rotateDoubleRight instead of rotateSingleRight, thus disbalancing the tree and possibly failing to pattern match.
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
This is used in the Eq instance and also makes debugging and testing easier.
-
Hans-Peter Deifel authored
This is not strictly required by copar but allows for easier testing.
-
Hans-Peter Deifel authored
This returns the size of the tree, not the actual number of elements (there can be more elements per node) and thus should not be in the public API.
-
Hans-Peter Deifel authored
This is a requirement for its use in copar and also allows for testing, since `shouldBe` from hspec requires those two instances.
-
- 07 Mar, 2019 1 commit
-
-
Hans-Peter Deifel authored
-
- 06 Jan, 2019 1 commit
-
-
Hans-Peter Deifel authored
Due to the way the functor expression is parsed, this led to two nested polynomial functors when functor rewriting is disabled. Without the parens we get just one polynomial functor.
-
- 05 Jan, 2019 1 commit
-
-
Hans-Peter Deifel authored
Alright, compromise. Word16 might have been a little too small
-
- 04 Jan, 2019 2 commits
-
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
This should require 4 times less RAM and allow us to generate larger DFAs.
-
- 03 Jan, 2019 4 commits
-
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
This allows to disable the 1-elem-block optimization to be able to compare the running times with and with out it.
-
- 23 Dec, 2018 1 commit
-
-
Hans-Peter Deifel authored
Queue.empty was being called with negative sizes
-