sophia

History

Add check for number of type variables in type signature (#512 )

* Fix tvar string generation

* Add check for number of tvars in a single type signature

The number of tvars is limited by serialization (u8) to 255

* Added a comment in CHANGELOG

* Docs fixes

* Adding docs about the limitation on number of tvars

* Limit is 256, not 255

* Update CHANGELOG.md

Co-authored-by: Gaith Hallak <gaithhallak@gmail.com>

---------

Co-authored-by: Gaith Hallak <gaithhallak@gmail.com>

2024-08-26 13:34:02 +02:00

aeso_aci.md

Rename type_defs to typedefs in ACI to increase compatibility (#421 )

2022-11-01 08:55:00 +02:00

aeso_compiler.md

Introduce debugging symbols (#424 )

2023-06-13 14:36:48 +03:00

index.md

Feature/mkdocs with versioning (#333 )

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

sophia_examples.md

Feature/mkdocs with versioning (#333 )