update algebra.idr
commit7c42f7767ca73899c6496d83f8a8f566ba8ed8a5
authorEdwin Brady <eb@cs.st-andrews.ac.uk>
dateWed 8 Feb 2012, 17:11 (15 years ago)
parent9f842bd
lib/prelude/algebra.idr+2−2
@@ -1,4 +1,4 @@
1−module algebra
1+module prelude.algebra
22
33import builtins
44
@@ -6,7 +6,7 @@ import builtins
66-- Must satisfy:
77-- forall a, b, c. a <*> (b <*> c) = (a <*> b) <*> c
88class Semigroup a where
9− (<*>) : a -> a -> a
9+ (<.>) : a -> a -> a
1010
1111-- Sets with an associative binary operation and a neutral element
1212-- Must satisfy: