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.
- Generalized Algebraic Data Types (GADTs)
- The Error Monad
- Using The Event Logging Framework