Gaith Hallak 51f9eaa934 Update the documentation and changelog to include polymorphism (#396) ...

* Update CHANGELOG

* Docs: first part

* Docs: first part (subtyping)

* Update docs/sophia_features.md

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

* Update docs/sophia_features.md

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

* Update docs/sophia_features.md

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

* Change "the same type" to "compatible types"

* Formatting for subtyping rules

* Note about type variance

* Update docs/sophia_features.md

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

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

2022-07-25 18:47:16 +02:00

..

aeso_aci.md

Update aeso_aci.md

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

aeso_compiler.md

Deprecate AEVM (#375)

2022-05-10 15:33:59 +02:00

index.md

Feature/mkdocs with versioning (#333)

2021-08-27 17:46:18 +03:00

sophia_examples.md

Feature/mkdocs with versioning (#333)

2021-08-27 17:46:18 +03:00

sophia_features.md

Update the documentation and changelog to include polymorphism (#396)

2022-07-25 18:47:16 +02:00

sophia_stdlib.md

Update sophia_stdlib.md (#350)

2022-06-18 12:03:46 +02:00

sophia_syntax.md

Allow binary operators to be used as lambdas (#385)

2022-06-03 13:12:23 +04:00

sophia.md

Feature/mkdocs with versioning (#333)

2021-08-27 17:46:18 +03:00