From e5c11a5137d538b7713dd8708ca767c208824c06 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Mon, 26 Dec 2016 01:17:01 -0800 Subject: 3709 - line numbers in html Each line number also gets an anchor name, but I'm not hyperlinking them for now because I don't want to encourage bookmarking these links just yet. They aren't permalinks because every revision may change what's at any given line number. --- html/x.mu.html | 46 +++++++++++++++++++++++++++++++++++----------- 1 file changed, 35 insertions(+), 11 deletions(-) (limited to 'html/x.mu.html') diff --git a/html/x.mu.html b/html/x.mu.html index 3c635c4a..57f23288 100644 --- a/html/x.mu.html +++ b/html/x.mu.html @@ -6,16 +6,17 @@ - + @@ -23,19 +24,42 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color - + 
-# example program: add two numbers
-
-def main [
-  11:num <- copy 1
-  12:num <- copy 3
-  13:num <- add 11:num, 12:num
-  $dump-memory
-]
+1 # example program: add two numbers
+2 
+3 def main [
+4   11:num <- copy 1
+5   12:num <- copy 3
+6   13:num <- add 11:num, 12:num
+7   $dump-memory
+8 ]
-- cgit 1.4.1-2-gfad0