Skip to content

Commit 686c9f2

Browse files
Replace Markdown files with styled HTML, embedding the Markdown source
1 parent bcf46dc commit 686c9f2

File tree

4 files changed

+120
-26
lines changed

4 files changed

+120
-26
lines changed

CONTRIBUTING.md renamed to CONTRIBUTING.html

Lines changed: 32 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,21 @@
1+
<!doctype html>
2+
<html lang="en">
3+
<head>
4+
<meta charset="utf-8" />
5+
<meta name="viewport" content="width=device-width,initial-scale=1" />
6+
<title>ASM-Lang Contribution Guide</title>
7+
<style>
8+
body{background:#222;color:#99ddff;font-family:Open Sans, sans-serif;margin:0;padding:1rem}
9+
.container{max-width:1000px;margin:0 auto;text-align:justify;text-justify:inter-word}
10+
pre, code{background:#3c3c3c;color:inherit;font-family:Source Code Pro, monospace;padding:.25rem .5rem}
11+
img{max-width:100%}
12+
</style>
13+
</head>
14+
<body>
15+
<div class="container" id="content">Rendering specification…</div>
16+
17+
<!-- Markdown source is embedded below. marked.js will render it into #content. -->
18+
<script id="md" type="text/markdown">
119
# Contributing to ASM-Lang
220

321
We welcome bug reports, feature requests (within reason), documentation improvements, tests, and code patches. This document explains how to contribute and the licensing terms that apply to contributions.
@@ -73,4 +91,17 @@
7391
- If you’re unsure where to start, open an issue with a brief outline and ask for guidance.
7492
- For legal or licensing questions, open an issue and tag the maintainers.
7593

76-
---
94+
---
95+
96+
</script>
97+
98+
<script src="https://cdn.jsdelivr.net/npm/marked/marked.min.js"></script>
99+
<script>
100+
document.addEventListener('DOMContentLoaded', function(){
101+
const md = document.getElementById('md').textContent;
102+
const rendered = marked.parse(md);
103+
document.getElementById('content').innerHTML = rendered;
104+
});
105+
</script>
106+
</body>
107+
</html>

SPECIFICATION.md renamed to SPECIFICATION.html

Lines changed: 33 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,21 @@
1+
<!doctype html>
2+
<html lang="en">
3+
<head>
4+
<meta charset="utf-8" />
5+
<meta name="viewport" content="width=device-width,initial-scale=1" />
6+
<title>ASM-Lang SPECIFICATION</title>
7+
<style>
8+
body{background:#222;color:#99ddff;font-family:Open Sans, sans-serif;margin:0;padding:1rem}
9+
.container{max-width:1000px;margin:0 auto;text-align:justify;text-justify:inter-word}
10+
pre, code{background:#3c3c3c;color:inherit;font-family:Source Code Pro, monospace;padding:.25rem .5rem}
11+
img{max-width:100%}
12+
</style>
13+
</head>
14+
<body>
15+
<div class="container" id="content">Rendering specification…</div>
16+
17+
<!-- Markdown source is embedded below. marked.js will render it into #content. -->
18+
<script id="md" type="text/markdown">
119
# Abstract State Machine Language Specification
220

321
<style>
@@ -397,4 +415,18 @@
397415
### Notes
398416
- Built-ins are statically typed. Boolean contexts treat `INT` 0 as false and non-zero as true; `STR` is false when empty and true when non-empty unless a rule explicitly converts via `INT`. A `TNS` is true if any element is true by those `INT`/`STR` rules.
399417
- Argument evaluation order: left-to-right.
400-
- User-defined functions use the same call syntax as built-ins; keyword arguments are permitted only after positional arguments and only for parameters that declare defaults. Built-ins reject keyword arguments except that `READFILE` and `WRITEFILE` accept an optional `coding=` keyword. When a keyword parameter is omitted, its default expression is evaluated at call time in the function's defining environment.
418+
- User-defined functions use the same call syntax as built-ins; keyword arguments are permitted only after positional arguments and only for parameters that declare defaults. Built-ins reject keyword arguments except that `READFILE` and `WRITEFILE` accept an optional `coding=` keyword. When a keyword parameter is omitted, its default expression is evaluated at call time in the function's defining environment.
419+
420+
421+
</script>
422+
423+
<script src="https://cdn.jsdelivr.net/npm/marked/marked.min.js"></script>
424+
<script>
425+
document.addEventListener('DOMContentLoaded', function(){
426+
const md = document.getElementById('md').textContent;
427+
const rendered = marked.parse(md);
428+
document.getElementById('content').innerHTML = rendered;
429+
});
430+
</script>
431+
</body>
432+
</html>

UNLICENSE.html

Lines changed: 55 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,55 @@
1+
<!doctype html>
2+
<html lang="en">
3+
<head>
4+
<meta charset="utf-8" />
5+
<meta name="viewport" content="width=device-width,initial-scale=1" />
6+
<title>ASM-Lang SPECIFICATION</title>
7+
<style>
8+
body{background:#222;color:#99ddff;font-family:Open Sans, sans-serif;margin:0;padding:1rem}
9+
.container{max-width:1000px;margin:0 auto;text-align:justify;text-justify:inter-word}
10+
pre, code{background:#3c3c3c;color:inherit;font-family:Source Code Pro, monospace;padding:.25rem .5rem}
11+
img{max-width:100%}
12+
</style>
13+
</head>
14+
<body>
15+
<div class="container" id="content">Rendering specification…</div>
16+
17+
<!-- Markdown source is embedded below. marked.js will render it into #content. -->
18+
<script id="md" type="text/markdown">
19+
This is free and unencumbered software released into the public domain.
20+
21+
Anyone is free to copy, modify, publish, use, compile, sell, or
22+
distribute this software, either in source code form or as a compiled
23+
binary, for any purpose, commercial or non-commercial, and by any
24+
means.
25+
26+
In jurisdictions that recognize copyright laws, the author or authors
27+
of this software dedicate any and all copyright interest in the
28+
software to the public domain. We make this dedication for the benefit
29+
of the public at large and to the detriment of our heirs and
30+
successors. We intend this dedication to be an overt act of
31+
relinquishment in perpetuity of all present and future rights to this
32+
software under copyright law.
33+
34+
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
35+
EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
36+
MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
37+
IN NO EVENT SHALL THE AUTHORS BE LIABLE FOR ANY CLAIM, DAMAGES OR
38+
OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE,
39+
ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
40+
OTHER DEALINGS IN THE SOFTWARE.
41+
42+
For more information, please refer to https://unlicense.org
43+
44+
</script>
45+
46+
<script src="https://cdn.jsdelivr.net/npm/marked/marked.min.js"></script>
47+
<script>
48+
document.addEventListener('DOMContentLoaded', function(){
49+
const md = document.getElementById('md').textContent;
50+
const rendered = marked.parse(md);
51+
document.getElementById('content').innerHTML = rendered;
52+
});
53+
</script>
54+
</body>
55+
</html>

UNLICENSE.md

Lines changed: 0 additions & 24 deletions
This file was deleted.

0 commit comments

Comments
 (0)