Change the comments to use ⟦⟧ instead of [[]].

sellout · Sep 30, 2011 · 6d40d4b · 6d40d4b
1 parent 6259130
commit 6d40d4b
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/library/calculus/lambda.kiln b/library/calculus/lambda.kiln
@@ -1,7 +1,7 @@
 (new (lam fun arg abs)
-     ;;            [[x]] = x
-     ;; [[(lambda x P)]] = {abs (trigger {lambda x} [[P]])}
-     ;;        [[(P Q)]] = (new (fun arg) (par (App) [fun [[P]]] {arg [[Q]]}))
+     ;;            ⟦x⟧ = x
+     ;; ⟦(lambda x P)⟧ = {abs (trigger {lambda x} ⟦P⟧)}
+     ;;        ⟦(P Q)⟧ = (new (fun arg) (par (App) [fun ⟦P⟧] {arg ⟦Q⟧}))
      (par (def (lambda (var) process)
               `{abs (trigger {lam (process-variable ',var)} ,process)})
           (def (apply fun arg)