Stokhof, Veltman

[lambda.git] / hints / assignment_7_hint_1.mdwn

diff --git a/hints/assignment_7_hint_1.mdwn b/hints/assignment_7_hint_1.mdwn
index a68c826..62ced80 100644 (file)
--- a/hints/assignment_7_hint_1.mdwn
+++ b/hints/assignment_7_hint_1.mdwn
@@ -1,5 +1,5 @@
 
 

-*      Where Groenendijk, Stockhof and Veltman (GS&V) say "peg", that translates in our terminology into a new "reference cell" or "location" in a store.
+*      Where Groenendijk, Stokhof and Veltman (GS&V) say "peg", that translates in our terminology into a new "reference cell" or "location" in a store.

 
 *      Where they represent pegs as natural numbers, that corresponds to our representing locations in a store by their indexes in the store.
 
 
 *      Where they represent pegs as natural numbers, that corresponds to our representing locations in a store by their indexes in the store.