Differences
This shows you the differences between two versions of the page.
|
pp:types [2017/03/12 20:11] pdmatei created |
pp:types [2017/03/13 12:04] (current) pdmatei |
||
|---|---|---|---|
| Line 200: | Line 200: | ||
| === Rule (TApp) === | === Rule (TApp) === | ||
| - | If ''f :: t1 -> t2'' and ''e :: t1'' then ''(f x) :: t2'' | + | If ''f :: t1 -> t2'' and ''e :: t1'' then ''(f e) :: t2'' |
| The above rule can be naturally generalised: | The above rule can be naturally generalised: | ||