www

commit 72643d4724fa363f2cafcd42898381e655ebbf8b
parent f1afb7e65c8c2f82974bdbb08eb459599c70bfce
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Fri, 11 Aug 2017 14:46:48 +0200

Added missing rules for car and cdr

Diffstat:
M
from-dissertation-tobin-hochstadt/operational-semantics.rkt
 | 
2
++

1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/from-dissertation-tobin-hochstadt/operational-semantics.rkt b/from-dissertation-tobin-hochstadt/operational-semantics.rkt
@@ -25,6 +25,8 @@
  δ(@textit{number?}, @num-v) &= @true-v & \\
  δ(@textit{number?}, v) &= @false-v & @text{otherwise} \\
  δ(@consp, v₁, v₂) &= @consv[v₁ v₂] & \\
+ δ(@textit{car}, @consv[v₁ v₂]) &= v₁ & \\
+ δ(@textit{cdr}, @consv[v₁ v₂]) &= v₂ & \\
  δ(@textit{pair?}, @consv[v v]) &= @true-v & \\
  δ(@textit{pair?}, v) &= @false-v & @text{otherwise} \\
  δ(@textit{null?}, @null-v) &= @true-v & \\