- 27 Oct, 2019 1 commit
-
-
Sven Keidel authored
-
- 29 Sep, 2019 1 commit
-
-
Sven Keidel authored
-
- 25 Sep, 2019 1 commit
-
-
Sven Keidel authored
-
- 23 Sep, 2019 1 commit
-
-
Sven Keidel authored
-
- 20 Jun, 2019 2 commits
-
-
Sven Keidel authored
-
Sebastian Erdweg authored
-
- 19 Jun, 2019 2 commits
-
-
Sven Keidel authored
-
Sven Keidel authored
-
- 18 Jun, 2019 2 commits
-
-
Sebastian Erdweg authored
-
Sebastian Erdweg authored
-
- 16 Jun, 2019 1 commit
-
-
Sebastian Erdweg authored
-
- 13 Jun, 2019 1 commit
-
-
Sven Keidel authored
-
- 12 Jun, 2019 2 commits
-
-
Sebastian Erdweg authored
-
Sebastian Erdweg authored
-
- 11 Jun, 2019 2 commits
-
-
Sven Keidel authored
-
Sebastian Erdweg authored
-
- 08 Jun, 2019 2 commits
-
-
Sebastian Erdweg authored
-
Sebastian Erdweg authored
-
- 07 Jun, 2019 3 commits
-
-
Sebastian Erdweg authored
-
Sebastian Erdweg authored
-
Sven Keidel authored
-
- 05 Jun, 2019 1 commit
-
-
Sven Keidel authored
-
- 20 May, 2019 1 commit
-
-
Sven Keidel authored
-
- 17 May, 2019 1 commit
-
-
Sven Keidel authored
-
- 05 Mar, 2019 1 commit
-
-
Sven Keidel authored
-
- 28 Feb, 2019 1 commit
-
-
Sven Keidel authored
-
- 20 Feb, 2019 1 commit
-
-
Sven Keidel authored
-
- 18 Feb, 2019 1 commit
-
-
Sven Keidel authored
-
- 15 Feb, 2019 1 commit
-
-
Sven Keidel authored
-
- 23 Jan, 2019 2 commits
-
-
Sebastian Erdweg authored
-
Sebastian Erdweg authored
-
- 27 Sep, 2018 2 commits
-
-
Jente Hidskes authored
-
Jente Hidskes authored
-
- 29 Jun, 2018 1 commit
-
-
Jente Hidskes authored
This allows implementations to act on the (co)domain of the interp arrows. For example, the GrammarSemantics can now actually call the deduplication functions on the grammars.
-
- 28 Jun, 2018 1 commit
-
-
Jente Hidskes authored
-
- 29 May, 2018 2 commits
-
-
Sven Keidel authored
-
Sven Keidel authored
-
- 28 May, 2018 1 commit
-
-
Jente Hidskes authored
-
- 01 May, 2018 1 commit
-
-
Jente Hidskes authored
This alleviates the need to define a `Complete [Term]` instance, which does not make sense. The requirement for this instance comes from `eval'`, which requires `Arrowtry (t,[t]) (t,[t]) (t,[t]) c` due to `some` and `all`. We circumvent this now by using a new `Completion` arrow transformer, whose `Complete` instance requires a `Complete (FreeComplete y)` instance such that there is no requirement for a `Complete y` instance. With this, we can derive a `Complete` instance for the `Interp a b` arrow that does not require `Complete b`, but rather `PreOrd b`.
-
- 12 Apr, 2018 1 commit
-
-
Jente Hidskes authored
It was found to be unsound (see a1f5b024), and can be replaced by this implementation of `<+>`.
-