From 44c1aeef226542d692f0002b5cca5a3c30935d18 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sat, 10 Sep 2016 10:43:19 -0700 Subject: 3315 --- html/tangle.mu.html | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'html/tangle.mu.html') diff --git a/html/tangle.mu.html b/html/tangle.mu.html index a654161e..da54e95f 100644 --- a/html/tangle.mu.html +++ b/html/tangle.mu.html @@ -63,8 +63,9 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color def main [ 1:number <- factorial 5 - $print [result: ], 1:number, [ -] + # trailing space in next line is to help with syntax highlighting + $print [result: ], 1:number, [ +] ] -- cgit 1.4.1-2-gfad0