diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-10-26 09:09:38 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-10-26 09:09:38 -0400 |
| commit | e4edda2a8cf2309b77808cc749a8e6ff8a282b17 (patch) | |
| tree | c7764022c2020d5611f8b22075365504e4a5df91 /spec/inferred.md | |
| parent | 66272177ff5d3cf64ef2371d9a16612c4019a9b2 (diff) | |
Typo
Diffstat (limited to 'spec/inferred.md')
| -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 73fc4abd..ee899f5d 100644 --- a/spec/inferred.md +++ b/spec/inferred.md @@ -174,7 +174,7 @@ Let `vβπ¨π½βπΎπ©`, so that `vβ‘πΎz`. `v` is of course well-define - *Structural* Under: If `πΎ` is a structural function (to be defined below) and `v` is compatible with `πΎ` on `π©`, then the result is obtained by inserting `v` back into `π©`. - *Computational* Under: If `πΎ` is provably not a structural function, then the result is `πΎβΌv` if it is defined. -When implementing, there is no need to implement invertable Under specially: it can be handled as part of the structural and computation cases. +When implementing, there is no need to implement invertible Under specially: it can be handled as part of the structural and computation cases. ### Mathematical definition of structural Under |