diff options
Diffstat (limited to 'src/Encoded/Sum.idr')
| -rw-r--r-- | src/Encoded/Sum.idr | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/Encoded/Sum.idr b/src/Encoded/Sum.idr index 6c6da6a..fd0543a 100644 --- a/src/Encoded/Sum.idr +++ b/src/Encoded/Sum.idr @@ -4,7 +4,6 @@ import public Data.SnocList.Operations import Encoded.Bool import Encoded.Pair -import Encoded.Union import Term.Syntax -- Binary Sums ----------------------------------------------------------------- |