Mercurial > hg > Members > kono > Proof > category

changeset 1109:71049ed05151

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Thu, 20 Jul 2023 12:36:15 +0900
parents 9914aa88b8f5
children 45de2b31bf02
files src/applicative.agda src/monad→monoidal.agda
diffstat 2 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/src/applicative.agda	Thu Jul 20 11:49:01 2023 +0900
+++ b/src/applicative.agda	Thu Jul 20 12:36:15 2023 +0900
@@ -2,7 +2,7 @@
 open import Category
 module applicative where
 
-open import Data.Product renaming (_×_ to _*_)
+open import Data.Product renaming (_×_ to _*_) hiding (_<*>_)
 open import Category.Constructions.Product
 open import HomReasoning
 open import cat-utility
--- a/src/monad→monoidal.agda	Thu Jul 20 11:49:01 2023 +0900
+++ b/src/monad→monoidal.agda	Thu Jul 20 12:36:15 2023 +0900
@@ -2,7 +2,7 @@
 open import Category
 module monad→monoidal where
 
-open import Data.Product renaming (_×_ to _*_)
+open import Data.Product renaming (_×_ to _*_) hiding (_<*>_)
 open import Category.Constructions.Product
 open import HomReasoning
 open import cat-utility