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
|
c2641b4149
|
Update documentation content (rev. 0.9.0)
|
2021-05-27 12:17:43 +02:00 |
|
Fedor Isakov
|
a54086ecea
|
Prospective research ideas
|
2018-09-10 14:38:06 +02:00 |
|
Fedor Isakov
|
bceb1c3b21
|
More docs fixes. Fix quotes. Fix spellings.
|
2018-09-01 10:39:27 +02:00 |
|
Fedor Isakov
|
6b42c5cf59
|
Update docs content
|
2018-08-30 17:16:32 +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
|
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 |