1.
Introduction
2.
The hacspec language
2.1.
Syntax
2.2.
Core
2.3.
Sequences and arrays
2.4.
Structs and enums
2.5.
Error handling
3.
The hacspec std library
3.1.
Arithmetic
3.2.
Sequence and array operations
4.
Examples
5.
Usage
5.1.
Specifications
5.2.
Verification
5.3.
Test Vectors
6.
For Developers
6.1.
Working on the compiler
Contributors
Light
Rust
Coal
Navy
Ayu
hacspec
Specifications