We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent e41b143 commit 5e97299Copy full SHA for 5e97299
Cubical/Categories/Dagger.agda
@@ -6,3 +6,5 @@ module Cubical.Categories.Dagger where
6
open import Cubical.Categories.Dagger.Base public
7
open import Cubical.Categories.Dagger.Properties public
8
open import Cubical.Categories.Dagger.Functor public
9
+open import Cubical.Categories.Dagger.Instances.BinProduct public
10
+open import Cubical.Categories.Dagger.Instances.Functors public
0 commit comments