diff options
Diffstat (limited to 'provider/posts')
| -rw-r--r-- | provider/posts/beuteltier-2.lhs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/provider/posts/beuteltier-2.lhs b/provider/posts/beuteltier-2.lhs index bca4c86..c60ba71 100644 --- a/provider/posts/beuteltier-2.lhs +++ b/provider/posts/beuteltier-2.lhs | |||
| @@ -113,7 +113,7 @@ Sometimes we just really want to translate an `ObjectGen` to an `Object`. | |||
| 113 | > oMeta .= return (obj ^. oMeta') | 113 | > oMeta .= return (obj ^. oMeta') |
| 114 | 114 | ||
| 115 | We expect implementations of `insert` to perform what we call nubbing. That is removal of | 115 | We expect implementations of `insert` to perform what we call nubbing. That is removal of |
| 116 | 'Object's that are, in some sense, `Equivalent` to the new one we´re currently | 116 | `Object`s that are, in some sense, `Equivalent` to the new one we´re currently |
| 117 | inserting. Thus we provide a definition of what we mean, when we say `Equivalent`. | 117 | inserting. Thus we provide a definition of what we mean, when we say `Equivalent`. |
| 118 | 118 | ||
| 119 | > class Equivalent a where | 119 | > class Equivalent a where |