diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2021-04-05 20:18:17 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2021-04-05 20:18:17 +0100 |
| commit | aaeb5a3572e96e32abbad5a137f5fc14575a8d66 (patch) | |
| tree | f5ecbcad5214289a8f11dfa8a28b1cc221e9c591 /src/Cfe/Language/Base.agda | |
| parent | da429008d25ac87ec67a4fb18a5cbee0ba756bcf (diff) | |
Add some missing properties for singleton languages.
Diffstat (limited to 'src/Cfe/Language/Base.agda')
| -rw-r--r-- | src/Cfe/Language/Base.agda | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Cfe/Language/Base.agda b/src/Cfe/Language/Base.agda index 2919ed7..d9be456 100644 --- a/src/Cfe/Language/Base.agda +++ b/src/Cfe/Language/Base.agda @@ -66,9 +66,9 @@ w ∉ A = ¬ w ∈ A ------------------------------------------------------------------------ -- Language Combinators +infix 8 ⋃_ infix 7 _∙_ infix 6 _∪_ -infix 5 ⋃_ _∙_ : Language a → Language b → Language _ A ∙ B = record |