projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
afd5e8a
)
(no commit message)
author
chris
<chris@web>
Mon, 23 Feb 2015 18:04:57 +0000
(13:04 -0500)
committer
Linux User
<ikiwiki@localhost.members.linode.com>
Mon, 23 Feb 2015 18:04:57 +0000
(13:04 -0500)
topics/_week5_simply_typed_lambda.mdwn
patch
|
blob
|
history
diff --git
a/topics/_week5_simply_typed_lambda.mdwn
b/topics/_week5_simply_typed_lambda.mdwn
index
e15a34d
..
047ee8b
100644
(file)
--- a/
topics/_week5_simply_typed_lambda.mdwn
+++ b/
topics/_week5_simply_typed_lambda.mdwn
@@
-302,8
+302,7
@@
functional application and for lambda abstracts:
* If *α* is an expression of type *<a, b>*, and *β* is an
expression of type b, then *α(β)* has type *b*.
* If *α* is an expression of type *<a, b>*, and *β* is an
expression of type b, then *α(β)* has type *b*.
-* If α* is an expression of type *a*, and *u* is a variable of
-*type b*, then *λuα* has type <code><b, a></code>.
+* If *α* is an expression of type *a*, and *u* is a variable of type *b*, then *λuα* has type <code><b, a></code>.
When we talk about monads, we will consider Montague's treatment of
intensionality in some detail. In the meantime, Montague's PTQ is
When we talk about monads, we will consider Montague's treatment of
intensionality in some detail. In the meantime, Montague's PTQ is