diff options
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 |