diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-11-13 10:08:57 -0800 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-11-13 10:08:57 -0800 |
commit | c603cd6cef43100aa83a62e15f96fd54c9fb987e (patch) | |
tree | d8631b1964a0200d170a996314f6e023686ff8de /html | |
parent | 05d3592047a76db4cc8d77102508c21ca1b86e7b (diff) | |
download | mu-c603cd6cef43100aa83a62e15f96fd54c9fb987e.tar.gz |
2430 - make room for more transforms
Diffstat (limited to 'html')
-rw-r--r-- | html/070string.mu.html (renamed from html/060string.mu.html) | 2 | ||||
-rw-r--r-- | html/071channel.mu.html (renamed from html/061channel.mu.html) | 2 | ||||
-rw-r--r-- | html/072array.mu.html (renamed from html/062array.mu.html) | 2 | ||||
-rw-r--r-- | html/073list.mu.html (renamed from html/063list.mu.html) | 2 | ||||
-rw-r--r-- | html/074random.cc.html (renamed from html/064random.cc.html) | 2 | ||||
-rw-r--r-- | html/075duplex_list.mu.html (renamed from html/065duplex_list.mu.html) | 2 | ||||
-rw-r--r-- | html/076stream.mu.html (renamed from html/066stream.mu.html) | 2 | ||||
-rw-r--r-- | html/080display.cc.html (renamed from html/070display.cc.html) | 2 | ||||
-rw-r--r-- | html/081print.mu.html (renamed from html/071print.mu.html) | 2 | ||||
-rw-r--r-- | html/082scenario_screen.cc.html (renamed from html/072scenario_screen.cc.html) | 2 | ||||
-rw-r--r-- | html/083scenario_screen_test.mu.html (renamed from html/073scenario_screen_test.mu.html) | 2 | ||||
-rw-r--r-- | html/084console.mu.html (renamed from html/074console.mu.html) | 2 | ||||
-rw-r--r-- | html/085scenario_console.cc.html (renamed from html/075scenario_console.cc.html) | 2 | ||||
-rw-r--r-- | html/086scenario_console_test.mu.html (renamed from html/076scenario_console_test.mu.html) | 2 | ||||
-rw-r--r-- | html/090trace_browser.cc.html (renamed from html/080trace_browser.cc.html) | 2 | ||||
-rw-r--r-- | html/091run_interactive.cc.html (renamed from html/081run_interactive.cc.html) | 2 | ||||
-rw-r--r-- | html/092persist.cc.html (renamed from html/082persist.cc.html) | 2 | ||||
-rw-r--r-- | html/998check_type_pointers.cc.html (renamed from html/098check_type_pointers.cc.html) | 2 | ||||
-rw-r--r-- | html/edit/006-sandbox-edit.mu.html | 1 | ||||
-rw-r--r-- | html/example1.mu.html | 37 | ||||
-rw-r--r-- | html/factorial.mu.html | 7 | ||||
-rw-r--r-- | html/tangle.mu.html | 7 |
22 files changed, 61 insertions, 27 deletions
diff --git a/html/060string.mu.html b/html/070string.mu.html index ae7a3e01..08edff08 100644 --- a/html/060string.mu.html +++ b/html/070string.mu.html @@ -2,7 +2,7 @@ <html> <head> <meta http-equiv="content-type" content="text/html; charset=UTF-8"> -<title>Mu - 060string.mu</title> +<title>Mu - 070string.mu</title> <meta name="Generator" content="Vim/7.4"> <meta name="plugin-version" content="vim7.4_v1"> <meta name="syntax" content="none"> diff --git a/html/061channel.mu.html b/html/071channel.mu.html index 47a11e0f..1bddb78c 100644 --- a/html/061channel.mu.html +++ b/html/071channel.mu.html @@ -2,7 +2,7 @@ <html> <head> <meta http-equiv="content-type" content="text/html; charset=UTF-8"> -<title>Mu - 061channel.mu</title> +<title>Mu - 071channel.mu</title> <meta name="Generator" content="Vim/7.4"> <meta name="plugin-version" content="vim7.4_v1"> <meta name="syntax" content="none"> diff --git a/html/062array.mu.html b/html/072array.mu.html index 4f800098..e4ab32a8 100644 --- a/html/062array.mu.html +++ b/html/072array.mu.html @@ -2,7 +2,7 @@ <html> <head> <meta http-equiv="content-type" content="text/html; charset=UTF-8"> -<title>Mu - 062array.mu</title> +<title>Mu - 072array.mu</title> <meta name="Generator" content="Vim/7.4"> <meta name="plugin-version" content="vim7.4_v1"> <meta name="syntax" content="none"> diff --git a/html/063list.mu.html b/html/073list.mu.html index a3122c41..5db8f8af 100644 --- a/html/063list.mu.html +++ b/html/073list.mu.html @@ -2,7 +2,7 @@ <html> <head> <meta http-equiv="content-type" content="text/html; charset=UTF-8"> -<title>Mu - 063list.mu</title> +<title>Mu - 073list.mu</title> <meta name="Generator" content="Vim/7.4"> <meta name="plugin-version" content="vim7.4_v1"> <meta name="syntax" content="none"> diff --git a/html/064random.cc.html b/html/074random.cc.html index bd176af3..86a40ca5 100644 --- a/html/064random.cc.html +++ b/html/074random.cc.html @@ -2,7 +2,7 @@ <html> <head> <meta http-equiv="content-type" content="text/html; charset=UTF-8"> -<title>Mu - 064random.cc</title> +<title>Mu - 074random.cc</title> <meta name="Generator" content="Vim/7.4"> <meta name="plugin-version" content="vim7.4_v1"> <meta name="syntax" content="cpp"> diff --git a/html/065duplex_list.mu.html b/html/075duplex_list.mu.html index 4a9437ce..c7452600 100644 --- a/html/065duplex_list.mu.html +++ b/html/075duplex_list.mu.html @@ -2,7 +2,7 @@ <html> <head> <meta http-equiv="content-type" content="text/html; charset=UTF-8"> -<title>Mu - 065duplex_list.mu</title> +<title>Mu - 075duplex_list.mu</title> <meta name="Generator" content="Vim/7.4"> <meta name="plugin-version" content="vim7.4_v1"> <meta name="syntax" content="none"> diff --git a/html/066stream.mu.html b/html/076stream.mu.html index 54e65159..feaa978b 100644 --- a/html/066stream.mu.html +++ b/html/076stream.mu.html @@ -2,7 +2,7 @@ <html> <head> <meta http-equiv="content-type" content="text/html; charset=UTF-8"> -<title>Mu - 066stream.mu</title> +<title>Mu - 076stream.mu</title> <meta name="Generator" content="Vim/7.4"> <meta name="plugin-version" content="vim7.4_v1"> <meta name="syntax" content="none"> diff --git a/html/070display.cc.html b/html/080display.cc.html index 8fb46c4d..bf3ad0c8 100644 --- a/html/070display.cc.html +++ b/html/080display.cc.html @@ -2,7 +2,7 @@ <html> <head> <meta http-equiv="content-type" content="text/html; charset=UTF-8"> -<title>Mu - 070display.cc</title> +<title>Mu - 080display.cc</title> <meta name="Generator" content="Vim/7.4"> <meta name="plugin-version" content="vim7.4_v1"> <meta name="syntax" content="cpp"> diff --git a/html/071print.mu.html b/html/081print.mu.html index 444a8359..19efbb1c 100644 --- a/html/071print.mu.html +++ b/html/081print.mu.html @@ -2,7 +2,7 @@ <html> <head> <meta http-equiv="content-type" content="text/html; charset=UTF-8"> -<title>Mu - 071print.mu</title> +<title>Mu - 081print.mu</title> <meta name="Generator" content="Vim/7.4"> <meta name="plugin-version" content="vim7.4_v1"> <meta name="syntax" content="none"> diff --git a/html/072scenario_screen.cc.html b/html/082scenario_screen.cc.html index ade20fff..037fc9ff 100644 --- a/html/072scenario_screen.cc.html +++ b/html/082scenario_screen.cc.html @@ -2,7 +2,7 @@ <html> <head> <meta http-equiv="content-type" content="text/html; charset=UTF-8"> -<title>Mu - 072scenario_screen.cc</title> +<title>Mu - 082scenario_screen.cc</title> <meta name="Generator" content="Vim/7.4"> <meta name="plugin-version" content="vim7.4_v1"> <meta name="syntax" content="cpp"> diff --git a/html/073scenario_screen_test.mu.html b/html/083scenario_screen_test.mu.html index ba50c80e..a93c7c20 100644 --- a/html/073scenario_screen_test.mu.html +++ b/html/083scenario_screen_test.mu.html @@ -2,7 +2,7 @@ <html> <head> <meta http-equiv="content-type" content="text/html; charset=UTF-8"> -<title>Mu - 073scenario_screen_test.mu</title> +<title>Mu - 083scenario_screen_test.mu</title> <meta name="Generator" content="Vim/7.4"> <meta name="plugin-version" content="vim7.4_v1"> <meta name="syntax" content="none"> diff --git a/html/074console.mu.html b/html/084console.mu.html index 62f88c3a..c91544f9 100644 --- a/html/074console.mu.html +++ b/html/084console.mu.html @@ -2,7 +2,7 @@ <html> <head> <meta http-equiv="content-type" content="text/html; charset=UTF-8"> -<title>Mu - 074console.mu</title> +<title>Mu - 084console.mu</title> <meta name="Generator" content="Vim/7.4"> <meta name="plugin-version" content="vim7.4_v1"> <meta name="syntax" content="none"> diff --git a/html/075scenario_console.cc.html b/html/085scenario_console.cc.html index 6ef48e09..061712fa 100644 --- a/html/075scenario_console.cc.html +++ b/html/085scenario_console.cc.html @@ -2,7 +2,7 @@ <html> <head> <meta http-equiv="content-type" content="text/html; charset=UTF-8"> -<title>Mu - 075scenario_console.cc</title> +<title>Mu - 085scenario_console.cc</title> <meta name="Generator" content="Vim/7.4"> <meta name="plugin-version" content="vim7.4_v1"> <meta name="syntax" content="cpp"> diff --git a/html/076scenario_console_test.mu.html b/html/086scenario_console_test.mu.html index bc0f6688..8f0c8685 100644 --- a/html/076scenario_console_test.mu.html +++ b/html/086scenario_console_test.mu.html @@ -2,7 +2,7 @@ <html> <head> <meta http-equiv="content-type" content="text/html; charset=UTF-8"> -<title>Mu - 076scenario_console_test.mu</title> +<title>Mu - 086scenario_console_test.mu</title> <meta name="Generator" content="Vim/7.4"> <meta name="plugin-version" content="vim7.4_v1"> <meta name="syntax" content="none"> diff --git a/html/080trace_browser.cc.html b/html/090trace_browser.cc.html index d209225b..62aa2fbe 100644 --- a/html/080trace_browser.cc.html +++ b/html/090trace_browser.cc.html @@ -2,7 +2,7 @@ <html> <head> <meta http-equiv="content-type" content="text/html; charset=UTF-8"> -<title>Mu - 080trace_browser.cc</title> +<title>Mu - 090trace_browser.cc</title> <meta name="Generator" content="Vim/7.4"> <meta name="plugin-version" content="vim7.4_v1"> <meta name="syntax" content="cpp"> diff --git a/html/081run_interactive.cc.html b/html/091run_interactive.cc.html index 3802f61a..30490309 100644 --- a/html/081run_interactive.cc.html +++ b/html/091run_interactive.cc.html @@ -2,7 +2,7 @@ <html> <head> <meta http-equiv="content-type" content="text/html; charset=UTF-8"> -<title>Mu - 081run_interactive.cc</title> +<title>Mu - 091run_interactive.cc</title> <meta name="Generator" content="Vim/7.4"> <meta name="plugin-version" content="vim7.4_v1"> <meta name="syntax" content="cpp"> diff --git a/html/082persist.cc.html b/html/092persist.cc.html index 1f6ed24f..cce4913f 100644 --- a/html/082persist.cc.html +++ b/html/092persist.cc.html @@ -2,7 +2,7 @@ <html> <head> <meta http-equiv="content-type" content="text/html; charset=UTF-8"> -<title>Mu - 082persist.cc</title> +<title>Mu - 092persist.cc</title> <meta name="Generator" content="Vim/7.4"> <meta name="plugin-version" content="vim7.4_v1"> <meta name="syntax" content="cpp"> diff --git a/html/098check_type_pointers.cc.html b/html/998check_type_pointers.cc.html index 74de0da6..6532702e 100644 --- a/html/098check_type_pointers.cc.html +++ b/html/998check_type_pointers.cc.html @@ -2,7 +2,7 @@ <html> <head> <meta http-equiv="content-type" content="text/html; charset=UTF-8"> -<title>Mu - 098check_type_pointers.cc</title> +<title>Mu - 998check_type_pointers.cc</title> <meta name="Generator" content="Vim/7.4"> <meta name="plugin-version" content="vim7.4_v1"> <meta name="syntax" content="cpp"> diff --git a/html/edit/006-sandbox-edit.mu.html b/html/edit/006-sandbox-edit.mu.html index a1e3bb2f..2381b4bd 100644 --- a/html/edit/006-sandbox-edit.mu.html +++ b/html/edit/006-sandbox-edit.mu.html @@ -155,7 +155,6 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } <span class="Comment"># position cursor in sandbox editor</span> sandbox-in-focus?:address:boolean<span class="Special"> <- </span>get-address *env, <span class="Constant">sandbox-in-focus?:offset</span> *sandbox-in-focus?<span class="Special"> <- </span>copy <span class="Constant">1/true</span> - <span class="muControl">reply</span> result ] <span class="muScenario">scenario</span> sandbox-with-print-can-be-edited [ diff --git a/html/example1.mu.html b/html/example1.mu.html new file mode 100644 index 00000000..13333c91 --- /dev/null +++ b/html/example1.mu.html @@ -0,0 +1,37 @@ +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd"> +<html> +<head> +<meta http-equiv="content-type" content="text/html; charset=UTF-8"> +<title>Mu - example1.mu</title> +<meta name="Generator" content="Vim/7.4"> +<meta name="plugin-version" content="vim7.4_v1"> +<meta name="syntax" content="none"> +<meta name="settings" content="use_css,pre_wrap,no_foldcolumn,expand_tabs,prevent_copy="> +<meta name="colorscheme" content="minimal"> +<style type="text/css"> +<!-- +pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-family: monospace; color: #eeeeee; background-color: #080808; } +* { font-size: 1.05em; } +.muRecipe { color: #ff8700; } +.Constant { color: #00a0a0; } +.Special { color: #ff6060; } +--> +</style> + +<script type='text/javascript'> +<!-- + +--> +</script> +</head> +<body> +<pre id='vimCodeElement'> +<span class="muRecipe">recipe</span> example1 [ + a:number<span class="Special"> <- </span>add <span class="Constant">2</span>, <span class="Constant">2</span> + a<span class="Special"> <- </span>multiply a, <span class="Constant">3</span> +] +</pre> +</body> +</html> +<!-- vim: set foldmethod=manual : --> diff --git a/html/factorial.mu.html b/html/factorial.mu.html index 31ac9c26..db6840b9 100644 --- a/html/factorial.mu.html +++ b/html/factorial.mu.html @@ -40,9 +40,9 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } <span class="Constant">]</span> ] -<span class="muRecipe">recipe</span> factorial [ +<span class="muRecipe">recipe</span> factorial n:number<span class="muRecipe"> -> </span>result:number [ <span class="Constant">local-scope</span> - n:number<span class="Special"> <- </span><span class="Constant">next-ingredient</span> + <span class="Constant">load-ingredients</span> <span class="Delimiter">{</span> <span class="Comment"># if n=0 return 1</span> zero?:boolean<span class="Special"> <- </span>equal n, <span class="Constant">0</span> @@ -52,8 +52,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } <span class="Comment"># return n * factorial(n-1)</span> x:number<span class="Special"> <- </span>subtract n, <span class="Constant">1</span> subresult:number<span class="Special"> <- </span>factorial x - result:number<span class="Special"> <- </span>multiply subresult, n - <span class="muControl">reply</span> result + result<span class="Special"> <- </span>multiply subresult, n ] <span class="Comment"># unit test</span> diff --git a/html/tangle.mu.html b/html/tangle.mu.html index 118b2386..8b0b7d13 100644 --- a/html/tangle.mu.html +++ b/html/tangle.mu.html @@ -38,9 +38,9 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } <span class="Comment"># This isn't a very tasteful example, just a simple demonstration of</span> <span class="Comment"># possibilities.</span> -<span class="muRecipe">recipe</span> factorial [ +<span class="muRecipe">recipe</span> factorial n:number<span class="muRecipe"> -> </span>result:number [ <span class="Constant">local-scope</span> - n:number<span class="Special"> <- </span><span class="Constant">next-ingredient</span> + <span class="Constant">load-ingredients</span> <span class="Delimiter">{</span> <span class="Constant"> <base-case></span> <span class="Delimiter">}</span> @@ -58,8 +58,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } <span class="Comment"># return n * factorial(n - 1)</span> x:number<span class="Special"> <- </span>subtract n, <span class="Constant">1</span> subresult:number<span class="Special"> <- </span>factorial x - result:number<span class="Special"> <- </span>multiply subresult, n - <span class="muControl">reply</span> result + result<span class="Special"> <- </span>multiply subresult, n ] <span class="muRecipe">recipe</span> main [ |