diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2021-03-05 00:10:08 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2021-03-05 00:10:08 +0000 |
| commit | 9c5540562f53be81bfb03ef2b96d7f59b3ddea44 (patch) | |
| tree | ecf02b8237a4f95f57ba312637692aa6d208bb98 /src/Cfe/Expression/Properties.agda | |
| parent | 5302e4a27a64cb2a97120517df4b6998da7b3168 (diff) | |
Separate out some Language properties.
Diffstat (limited to 'src/Cfe/Expression/Properties.agda')
| -rw-r--r-- | src/Cfe/Expression/Properties.agda | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Cfe/Expression/Properties.agda b/src/Cfe/Expression/Properties.agda index 8bdc635..9af0d70 100644 --- a/src/Cfe/Expression/Properties.agda +++ b/src/Cfe/Expression/Properties.agda @@ -10,7 +10,7 @@ open Setoid over using () renaming (Carrier to C) open import Algebra open import Cfe.Expression.Base over -open import Cfe.Language.Base over as L +open import Cfe.Language over as L import Cfe.Language.Construct.Concatenate over as ∙ import Cfe.Language.Construct.Union over as ∪ import Cfe.Language.Indexed.Construct.Iterate over as ⋃ |