- 27 May, 2018 9 commits
-
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
This is copy pasta from another project.
-
Hans-Peter Deifel authored
This allows to initialize the algorithm not only for one but for all morphisms and is needed to test initialization from main.
-
Hans-Peter Deifel authored
It's needed in other modules than the parser
-
Hans-Peter Deifel authored
This type should only be an artifact of the fromJSON machinery.
-
Hans-Peter Deifel authored
Previously, this was already computed in Encoding.new. But since `pred` requires knowledge about the size of the target set, this is much better done in the init phase.
-
Hans-Peter Deifel authored
This file is used as local emacs configuration
-
Hans-Peter Deifel authored
Instead of letting each individual functor parse the whole morphism, only let them influence the parsing of individual mappings.
-
Hans-Peter Deifel authored
This helps with debugging, because it formats the `show` output with more newlines and colors.
-
- 26 May, 2018 4 commits
-
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-