Nikita Fuchs a7ea6deae3

cherrypick to remove iris content

2020-10-07 16:39:02 +02:00

..

docs

cherrypick to remove iris content

2020-10-07 16:39:02 +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

restructure docs for readTheDocs

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

sophia.md

Update sophia.md

2020-10-06 22:16:45 +02:00