From 017f07653471bbff4ec2ef2f6de6937dd30d3eb1 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Mon, 5 Jun 2017 12:46:00 -0400 Subject: [PATCH] Hyphenate subterm-wise. --- src/RWS.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/RWS.hs b/src/RWS.hs index 4d014f1ad..7a705c936 100644 --- a/src/RWS.hs +++ b/src/RWS.hs @@ -36,7 +36,7 @@ type Label f fields label = forall b. TermF f (Record fields) b -> label -- | A relation on 'Term's, guaranteed constant-time in the size of the 'Term' by parametricity. -- --- This is used both to determine whether two root terms can be compared in O(1), and, recursively, to determine whether two nodes are equal in O(n); thus, comparability is defined s.t. two terms are equal if they are recursively comparable subtermwise. +-- This is used both to determine whether two root terms can be compared in O(1), and, recursively, to determine whether two nodes are equal in O(n); thus, comparability is defined s.t. two terms are equal if they are recursively comparable subterm-wise. type ComparabilityRelation f fields = forall a b. TermF f (Record fields) a -> TermF f (Record fields) b -> Bool type FeatureVector = Array Int Double