diff options
| author | bnewbold <bnewbold@robocracy.org> | 2016-10-28 00:07:12 -0700 |
|---|---|---|
| committer | bnewbold <bnewbold@robocracy.org> | 2016-10-28 00:07:12 -0700 |
| commit | 360a3f82c02fdbe2c2d317e01f01fc69adbf4ab5 (patch) | |
| tree | 6d87639cef6b31ec069d259d9a119e14e7f241a7 /webface | |
| parent | adf41d8d3dcbc21806475bc652d560c7483fbcfb (diff) | |
| download | modelthing-360a3f82c02fdbe2c2d317e01f01fc69adbf4ab5.tar.gz modelthing-360a3f82c02fdbe2c2d317e01f01fc69adbf4ab5.zip | |
webface front page
Diffstat (limited to 'webface')
| -rw-r--r-- | webface/templates/base.html | 7 | ||||
| -rw-r--r-- | webface/templates/home.html | 40 | ||||
| -rw-r--r-- | webface/templates/raw.html | 6 |
3 files changed, 52 insertions, 1 deletions
diff --git a/webface/templates/base.html b/webface/templates/base.html index 59060ed..db49004 100644 --- a/webface/templates/base.html +++ b/webface/templates/base.html @@ -3,10 +3,17 @@ <head> <meta charset="UTF-8"> <title>{{#block title}}modelthing{{/block}}</title> +<style> +html, body, div{ margin: 0; padding: 0; } +body { font-family: monospace; font-size: larger; line-height: 1.3; } +#content { max-width: 700px; margin: 0 auto; margin-top: 4em; } +</style> </head> <body> +<div id="content"> {{~#block content}}{{/block~}} +</div><!-- content --> </body> </html> diff --git a/webface/templates/home.html b/webface/templates/home.html index 6068c99..0860e77 100644 --- a/webface/templates/home.html +++ b/webface/templates/home.html @@ -1,6 +1,44 @@ {{# partial content}} +<pre style="font-weight: bold;"> + _ _ _ _ _ _ + _ __ ___ ___ __| | ___| | |_| |__ (_)_ __ __ _| | + | '_ ` _ \ / _ \ / _` |/ _ \ | __| '_ \| | '_ \ / _` | | + | | | | | | (_) | (_| | __/ | |_| | | | | | | | (_| |_| + |_| |_| |_|\___/ \__,_|\___|_|\__|_| |_|_|_| |_|\__, (_) + |___/ -<a href="/about/">about</a> + an experimental systems-modeling-wiki-thing +</pre><br><br> + +<p>modelthing is a set of software tools for collaboratively editing +symbolic models of real world systems. + +<p><b>What kind of real world systems?</b> any system that can be described by +algebraic differential equations. Examples: a double pendulum, population +dynamics in ecology, Moore's Law of increasing transistor density, the light +emited by an LED as a factor of current and voltage, real estate prices as a +factor of rent control, etc. + +<p><b>What kind of symbolic models?</b> models which both hold semantic meaning +and can be computed. machines should be able to translate the models between +different symbolic, graphical, and interactive mediums, and both humans and +machines should be able reason with and judge the appropriateness of the +models. + +<p><b>What kind of collaborative editing?</b> aspirationally, rational discourse +between strangers on the internet who come to progressively more accurate +consensus. The models should be re-usable by hierarchal reference, with +automated tooling to cross-check for compatibility. + +<p><b>Does it work?</b> there's no "here" here, yet, just some sketches and +experiments. + +<br><br> +<center> +<a href="/readme/">full readme</a> - +<a href="https://git.bnewbold.net/modelthing">source code</a> +</center> +<br> {{/partial}} {{> base.html}} diff --git a/webface/templates/raw.html b/webface/templates/raw.html new file mode 100644 index 0000000..5e10ff4 --- /dev/null +++ b/webface/templates/raw.html @@ -0,0 +1,6 @@ +{{# partial content}} +<pre> +{{ raw_text }} +</pre> +{{/partial}} +{{> base.html}} |