projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
f338139
)
edits
author
Chris
<chris.barker@nyu.edu>
Tue, 12 May 2015 13:42:50 +0000
(09:42 -0400)
committer
Chris
<chris.barker@nyu.edu>
Tue, 12 May 2015 13:42:50 +0000
(09:42 -0400)
topics/_week15_continuation_applications.mdwn
patch
|
blob
|
history
diff --git
a/topics/_week15_continuation_applications.mdwn
b/topics/_week15_continuation_applications.mdwn
index
ffe10ba
..
d13efa7
100644
(file)
--- a/
topics/_week15_continuation_applications.mdwn
+++ b/
topics/_week15_continuation_applications.mdwn
@@
-312,12
+312,12
@@
separating a box into two regions, the payload and the hidden scratch
space:
<pre>
space:
<pre>
- _______________ _______________ _______________
+ _______________ _______________
_______________
| [x->2, y->3] | | [x->2, y->3] | | [x->2, y->3] |
------------------- ------------------ ------------------
| | ¢ | | = | |
| [x->2, y->3] | | [x->2, y->3] | | [x->2, y->3] |
------------------- ------------------ ------------------
| | ¢ | | = | |
- | +2 | | y | | 5 |
- |______________| |______________| |______________|
+ | +2 | | y | | 5 |
+ |______________| |______________| |______________|
</pre>
For people who are familiar with Discourse Representation Theory (Kamp
</pre>
For people who are familiar with Discourse Representation Theory (Kamp