diff options
Diffstat (limited to 'public/vendor/codemirror/mode/oz/index.html')
-rw-r--r-- | public/vendor/codemirror/mode/oz/index.html | 59 |
1 files changed, 59 insertions, 0 deletions
diff --git a/public/vendor/codemirror/mode/oz/index.html b/public/vendor/codemirror/mode/oz/index.html new file mode 100644 index 00000000..febd82a5 --- /dev/null +++ b/public/vendor/codemirror/mode/oz/index.html @@ -0,0 +1,59 @@ +<!doctype html> + +<title>CodeMirror: Oz mode</title> +<meta charset="utf-8"/> +<link rel=stylesheet href="../../doc/docs.css"> + +<link rel="stylesheet" href="../../lib/codemirror.css"> +<script src="../../lib/codemirror.js"></script> +<script src="oz.js"></script> +<script type="text/javascript" src="../../addon/runmode/runmode.js"></script> +<style> + .CodeMirror {border: 1px solid #aaa;} +</style> +<div id=nav> + <a href="http://codemirror.net"><h1>CodeMirror</h1><img id=logo src="../../doc/logo.png"></a> + <ul> + <li><a href="../../index.html">Home</a> + <li><a href="../../doc/manual.html">Manual</a> + <li><a href="https://github.com/codemirror/codemirror">Code</a> + </ul> + <ul> + <li><a href="../index.html">Language modes</a> + <li><a class=active href="#">Oz</a> + </ul> +</div> + +<article> +<h2>Oz mode</h2> +<textarea id="code" name="code"> +declare +fun {Ints N Max} + if N == Max then nil + else + {Delay 1000} + N|{Ints N+1 Max} + end +end + +fun {Sum S Stream} + case Stream of nil then S + [] H|T then S|{Sum H+S T} end +end + +local X Y in + thread X = {Ints 0 1000} end + thread Y = {Sum 0 X} end + {Browse Y} +end +</textarea> +<p>MIME type defined: <code>text/x-oz</code>.</p> + +<script type="text/javascript"> +var editor = CodeMirror.fromTextArea(document.getElementById("code"), { + lineNumbers: true, + mode: "text/x-oz", + readOnly: false +}); +</script> +</article> |