From 4bbd3ded0b767ae0919551776e4c17189140e735 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sat, 30 May 2015 19:30:33 -0700 Subject: 1517 --- html/callcc.mu.html | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'html/callcc.mu.html') diff --git a/html/callcc.mu.html b/html/callcc.mu.html index 32aec54d..50037f46 100644 --- a/html/callcc.mu.html +++ b/html/callcc.mu.html @@ -10,14 +10,14 @@ @@ -33,7 +33,7 @@ body { font-family: monospace; color: #d0d0d0; background-color: #000000; } recipe main [ c:continuation <- f - continue-from c:continuation # <-- ..when you hit this + continue-from c:continuation # <-- ..when you hit this ] recipe f [ @@ -42,7 +42,7 @@ body { font-family: monospace; color: #d0d0d0; background-color: #000000; } ] recipe g [ - c:continuation <- current-continuation # <-- loop back to here + c:continuation <- current-continuation # <-- loop back to here $print 1:literal reply c:continuation # threaded through unmodified after first iteration ] -- cgit 1.4.1-2-gfad0