diff options
| author | Camil Staps | 2015-07-03 11:16:02 +0200 |
|---|---|---|
| committer | Camil Staps | 2015-07-03 11:16:02 +0200 |
| commit | 02c45922fc897047ecce16cc02398338947e7b94 (patch) | |
| tree | 4e7af3276d29340139a561367363920104ff0c91 /Logic.dcl | |
| parent | Types, toString (diff) | |
Fix associativity
Diffstat (limited to 'Logic.dcl')
| -rw-r--r-- | Logic.dcl | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -36,3 +36,5 @@ instance toString Op1 instance toString Op2 instance toString Expr +binds_stronger :: Op2 Op2 -> Bool // True iff arg1 stronger binds than arg2 + |