diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-08-30 20:29:05 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-08-30 20:29:05 -0400 |
| commit | 505715a37a0f845029758bc16955149c800850c9 (patch) | |
| tree | ce7864cfe00587b120006ad9a5afaed718bb63b9 /spec | |
| parent | 4a097e594cf4eb918d7756bf6d438ed5492f4c9b (diff) | |
Missing word
Diffstat (limited to 'spec')
| -rw-r--r-- | spec/inferred.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/spec/inferred.md b/spec/inferred.md index d83461c7..5cf1021d 100644 --- a/spec/inferred.md +++ b/spec/inferred.md @@ -202,7 +202,7 @@ We now need to show that `H` captures `y` (the proof that `G` captures `z` is of ### Required structural inverses -The following primitive functions be fully supported by structural Under. Each manipulates its right argument structurally. +The following primitive functions must be fully supported by structural Under. Each manipulates its right argument structurally. | Type | Primitives |---------|----------- |