diff options
author | Iain Lane <laney@debian.org> | 2011-11-29 16:51:32 +0000 |
---|---|---|
committer | Iain Lane <laney@debian.org> | 2011-11-29 16:51:32 +0000 |
commit | becce68e992af760dbdc6f17e77bc4dfeecccef7 (patch) | |
tree | fe929e2d8863fe17c1c2909283e1442b6f4a3286 /src/Relation/Binary.agda | |
parent | 9251e0b00e309e805a4576ae558b3d1e321d8f2c (diff) |
Imported Upstream version 0.6~darcs20111129t1640
Diffstat (limited to 'src/Relation/Binary.agda')
-rw-r--r-- | src/Relation/Binary.agda | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Relation/Binary.agda b/src/Relation/Binary.agda index c5aaed4..c49ea00 100644 --- a/src/Relation/Binary.agda +++ b/src/Relation/Binary.agda @@ -1,9 +1,9 @@ ------------------------------------------------------------------------ +-- The Agda standard library +-- -- Properties of homogeneous binary relations ------------------------------------------------------------------------ -{-# OPTIONS --universe-polymorphism #-} - module Relation.Binary where open import Data.Product |