diff options
Diffstat (limited to 'src/Soat/SecondOrder/Algebra.idr')
| -rw-r--r-- | src/Soat/SecondOrder/Algebra.idr | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/Soat/SecondOrder/Algebra.idr b/src/Soat/SecondOrder/Algebra.idr index 50b65e0..c506c85 100644 --- a/src/Soat/SecondOrder/Algebra.idr +++ b/src/Soat/SecondOrder/Algebra.idr @@ -1,10 +1,11 @@ module Soat.SecondOrder.Algebra +import Data.Morphism.Indexed +import Data.Setoid.Indexed import Data.List.Elem import Soat.Data.Product import Soat.Data.Sublist -import Soat.Relation import Soat.SecondOrder.Signature public export |