From e4edda2a8cf2309b77808cc749a8e6ff8a282b17 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Tue, 26 Oct 2021 09:09:38 -0400 Subject: Typo --- spec/inferred.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'spec') 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 -- cgit v1.2.3