fostr/mkdocs.yml

site_name: fostr language
nav:
- README.md
- tests/basic.md
- trans/statics.md
- implementation.md

plugins:
- search
- semiliterate:
    ignore_folders: [target, lib]
    exclude_extensions: ['.o', '.hi', '.cmi', '.cmo']
    extract_standard_markdown:
      terminate: <!-- /md -->
theme:
  name: readthedocs
  prev_next_buttons_location: both
extra_css: [extra.css]
markdown_extensions:
- attr_list
- markdown_del_ins
- pymdownx.superfences
- pymdownx.highlight:
    use_pygments: true
- smarty
chore: Switch to this repository from predecessor 2021-01-30 23:37:53 +00:00			`site_name: fostr language`
			`nav:`
			`- README.md`
			`- tests/basic.md`
Add literal string constants (#19) In addition, for the sake of Haskell code generation, this PR adds static typing with Statix. Resolves #5. Co-authored-by: Glen Whitney <glen@studioinfinity.org> Reviewed-on: https://code.studioinfinity.org/glen/fostr/pulls/19 Co-Authored-By: Glen Whitney <glen@nobody@nowhere.net> Co-Committed-By: Glen Whitney <glen@nobody@nowhere.net> 2021-02-18 04:17:05 +00:00			`- trans/statics.md`
chore: Switch to this repository from predecessor 2021-01-30 23:37:53 +00:00			`- implementation.md`

			`plugins:`
			`- search`
			`- semiliterate:`
docs: Get mkdocs working 2021-01-31 03:48:03 +00:00			`ignore_folders: [target, lib]`
Extraction from streams (#25) Add the ! postfix operator and !! expression. Also add the ++ string concatenation operator. Also allow specification of standard input in the test scheme. Resolves #7, #18. Co-authored-by: Glen Whitney <glen@studioinfinity.org> Reviewed-on: https://code.studioinfinity.org/glen/fostr/pulls/25 Co-Authored-By: Glen Whitney <glen@nobody@nowhere.net> Co-Committed-By: Glen Whitney <glen@nobody@nowhere.net> 2021-03-13 19:30:23 +00:00			`exclude_extensions: ['.o', '.hi', '.cmi', '.cmo']`
chore: Switch to this repository from predecessor 2021-01-30 23:37:53 +00:00			`extract_standard_markdown:`
			`terminate: <!-- /md -->`
			`theme:`
			`name: readthedocs`
docs: Get mkdocs working 2021-01-31 03:48:03 +00:00			`prev_next_buttons_location: both`
			`extra_css: [extra.css]`
chore: Switch to this repository from predecessor 2021-01-30 23:37:53 +00:00			`markdown_extensions:`
			`- attr_list`
docs: Get mkdocs working 2021-01-31 03:48:03 +00:00			`- markdown_del_ins`
chore: Switch to this repository from predecessor 2021-01-30 23:37:53 +00:00			`- pymdownx.superfences`
			`- pymdownx.highlight:`
			`use_pygments: true`
			`- smarty`