Fedor Isakov
|
7f7787ff22
|
Fix wording in docs: drop MPS before "coderules"
|
2022-01-27 11:11:56 +01:00 |
|
Fedor Isakov
|
0cf000301d
|
Fix wording in docs: no space in "coderules"
|
2022-01-27 11:11:56 +01:00 |
|
Fedor Isakov
|
8c7c6d29a2
|
Fix wording in docs: no space in "typesystem"
|
2022-01-27 11:11:56 +01:00 |
|
Fedor Isakov
|
4f9e1178dd
|
Fix doc site redirect to /
|
2021-05-27 12:33:42 +02:00 |
|
Fedor Isakov
|
c2641b4149
|
Update documentation content (rev. 0.9.0)
|
2021-05-27 12:17:43 +02:00 |
|
Grigorii Kirgizov
|
7c0f8682ed
|
Add site docs for incremental algorithm
|
2021-01-29 16:22:08 +03:00 |
|
Fedor Isakov
|
3357525958
|
Document Operations of Reactor.
|
2019-10-16 13:31:22 +02:00 |
|
grigorii.kirgizov
|
a17d36fe94
|
Docs: more adjustments according to appearance on html page
|
2019-02-13 16:20:24 +03:00 |
|
grigorii.kirgizov
|
74be1a3a0c
|
Docs for lambdacalc: add images and slight corrections to text
|
2019-02-13 16:09:31 +03:00 |
|
grigorii.kirgizov
|
6229f2473e
|
Update lambdacalc example in docs
|
2019-02-13 15:58:51 +03:00 |
|
Fedor Isakov
|
834010e2d1
|
Add a section on total vs partial type checking in docs
|
2018-09-13 16:18:11 +02:00 |
|
Fedor Isakov
|
a54086ecea
|
Prospective research ideas
|
2018-09-10 14:38:06 +02:00 |
|
Fedor Isakov
|
694d3d90b5
|
Add sitemap to docs site
|
2018-09-05 18:31:51 +02:00 |
|
Fedor Isakov
|
c03a4d97ca
|
Update wording and fix typos
|
2018-09-05 17:42:01 +02:00 |
|
Fedor Isakov
|
dceffeacbe
|
Minor update of docs. Minor fixes and amendments.
|
2018-09-04 11:52:22 +02:00 |
|
Fedor Isakov
|
da30b36c20
|
More docs content. Some areas reworked for clarity.
|
2018-09-03 16:20:51 +02:00 |
|
Fedor Isakov
|
bceb1c3b21
|
More docs fixes. Fix quotes. Fix spellings.
|
2018-09-01 10:39:27 +02:00 |
|
Fedor Isakov
|
9cd2d67056
|
Fix docs wording and cleanup typos. Amend content
|
2018-08-31 11:47:13 +02:00 |
|
Fedor Isakov
|
6b42c5cf59
|
Update docs content
|
2018-08-30 17:16:32 +02:00 |
|
Fedor Isakov
|
341ac0208e
|
Fix docs wording. Cleaning up the text
|
2018-08-27 12:18:46 +02:00 |
|
Fedor Isakov
|
b5210ea9f9
|
Update contacts and readme
|
2018-08-25 16:06:27 +02:00 |
|
Fedor Isakov
|
cfa3367b67
|
More examples for docs
|
2018-08-25 15:34:29 +02:00 |
|
Fedor Isakov
|
8281e037a4
|
Fix the wording of docs. More docs content. Drop obsolete stuff.
|
2018-08-24 20:20:29 +02:00 |
|
Fedor Isakov
|
427ec8f4ef
|
Cleanup and reorder docs for printing all pages. Metadata
|
2018-08-24 20:20:29 +02:00 |
|
Fedor Isakov
|
6085481ede
|
More screenshots for docs
|
2018-08-24 20:20:20 +02:00 |
|
Fedor Isakov
|
6129de983b
|
Update documentation on typechecking; screenshots
|
2018-08-22 22:38:06 +02:00 |
|
Fedor Isakov
|
b50ec9375e
|
More docs content: STLC and Logic examples documentation
|
2018-08-19 17:32:58 +02:00 |
|
Fedor Isakov
|
f49feb03bc
|
Docs content
|
2018-08-19 17:32:58 +02:00 |
|
Fedor Isakov
|
2d6adc9b8e
|
Jekyll site for docs
|
2018-08-19 17:32:58 +02:00 |
|
Fedor Isakov
|
8b1788354f
|
Move docs content in a subdir. Annotate all .md files with front matter meta data.
|
2018-08-14 12:24:14 +02:00 |