Programming tutorialsΒΆ

This page groups documentation about some specific aspects of programming within the Octez code base. This covers libraries and frameworks available in Octez, but also guidelines for applying more general programming techniques, such as GADTs, to Octez.