Nikita Fuchs 5ccece4635

Update docs/sophia.md ...

Co-authored-by: Radosław Rowicki <35342116+radrow@users.noreply.github.com>

2021-04-26 11:35:30 +02:00

..

docs

take care of Hans' remarks

2020-10-21 16:01:04 +02:00

aeso_aci.md

Update aeso_aci.md

2019-05-28 13:26:22 +02:00

aeso_compiler.md

Add a VERSION file at the top level and go from there

2019-03-04 12:17:54 +01:00

mkdocs.yml

restructure docs for readTheDocs

2020-10-06 17:09:21 +02:00

sophia_stdlib.md

take care of Hans' remarks

2020-10-21 16:01:04 +02:00

sophia.md

Update docs/sophia.md

2021-04-26 11:35:30 +02:00