Fedor Isakov 3357525958 Document Operations of Reactor.		2019-10-16 13:31:22 +02:00
..
img	Docs: more adjustments according to appearance on html page	2019-02-13 16:20:24 +03:00
todo	Prospective research ideas	2018-09-10 14:38:06 +02:00
allpages.md	Minor update of docs. Minor fixes and amendments.	2018-09-04 11:52:22 +02:00
contacts.md	Update contacts and readme	2018-08-25 16:06:27 +02:00
evaluating.md	Update wording and fix typos	2018-09-05 17:42:01 +02:00
example-controlflow.md	More docs fixes. Fix quotes. Fix spellings.	2018-09-01 10:39:27 +02:00
example-lambdacalc-ext.md	Docs: more adjustments according to appearance on html page	2019-02-13 16:20:24 +03:00
example-logic.md	More docs fixes. Fix quotes. Fix spellings.	2018-09-01 10:39:27 +02:00
example-typechecking.md	More docs fixes. Fix quotes. Fix spellings.	2018-09-01 10:39:27 +02:00
intro.md	Minor update of docs. Minor fixes and amendments.	2018-09-04 11:52:22 +02:00
language.md	Add a section on total vs partial type checking in docs	2018-09-13 16:18:11 +02:00
operation.md	Document Operations of Reactor.	2019-10-16 13:31:22 +02:00
overview.md	Minor update of docs. Minor fixes and amendments.	2018-09-04 11:52:22 +02:00
processing.md	Update wording and fix typos	2018-09-05 17:42:01 +02:00
reactor.md	Minor update of docs. Minor fixes and amendments.	2018-09-04 11:52:22 +02:00