<.> should have higher precedence than <+>, <->
commit0813a921564f56e1d18d92ed2f7e16e6eca178bf
authorBlackBrane <cs.hbar@gmail.com>
dateSun 12 Apr 2015, 16:52 (12 years ago)
parentcc86ef0
libs/contrib/Control/Algebra.idr+1−1
@@ -1,7 +1,7 @@
11module Control.Algebra
22
33infixl 6 <->
4−infixl 6 <.>
4+infixl 7 <.>
55
66
77||| Sets equipped with a single binary operation that is associative, along with
libs/prelude/Prelude/Algebra.idr−4
@@ -2,11 +2,7 @@ module Prelude.Algebra
22
33import Builtins
44
5−-- XXX: change?
6−infixl 6 <->
75infixl 6 <+>
8−infixl 6 <.>
9−infixl 5 <#>
106
117%access public
128