Mercurial > hg > Members > kono > Proof > category

diff epi.agda @ 782:db59b8f954aa

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Fri, 08 Mar 2019 18:09:11 +0900
parents 5160b431f1de
children
line wrap: on
line diff
--- a/epi.agda	Fri Mar 08 17:46:59 2019 +0900
+++ b/epi.agda	Fri Mar 08 18:09:11 2019 +0900
@@ -3,6 +3,8 @@
 
 module epi where
 
+open import Relation.Binary.PropositionalEquality hiding ( [_] ; sym )
+
 open import Relation.Binary.Core
 
 data  FourObject   : Set where