|
|
6a0401833c
|
feat(manual): add strings to midas syntax def
|
2026-06-30 14:10:32 +02:00 |
|
|
|
e15607b763
|
fix(manual): end syntax highlighting of extend body
|
2026-06-30 14:03:42 +02:00 |
|
|
|
e28f324a85
|
fix(manual): typos
|
2026-06-28 22:30:09 +02:00 |
|
|
|
31e696c938
|
feat(manual): add listings outline and tweak template
|
2026-06-28 22:28:13 +02:00 |
|
|
|
759b416bf3
|
feat(manual): wrap all code in figures
|
2026-06-28 22:20:15 +02:00 |
|
|
|
4b2b0fe476
|
feat(manual): document supported Python syntax
|
2026-06-28 21:41:39 +02:00 |
|
|
|
4c39504750
|
feat(manual): document predicate and constraints
|
2026-06-28 14:12:41 +02:00 |
|
|
|
f9f3ade6c7
|
feat(manual): document type statement
|
2026-06-28 12:37:44 +02:00 |
|
|
|
386018b956
|
feat(manual): add sublime syntax for Midas
|
2026-06-28 12:36:02 +02:00 |
|
|
|
bd47d33355
|
feat(manual): complete introduction and quick start
|
2026-06-26 17:52:54 +02:00 |
|
|
|
93ddb28802
|
docs: setup user manual
|
2026-06-24 15:53:52 +02:00 |
|
