Type diagram

[samueljoli]

The types defined in ast, and the types used in binary. What's their relationship, are they coupled? What things are enforced by the design and composition of them. How idiomatic is this, etc

[samueljoli]

describing how it is possible to prove properties about functions and data, and automatically derive verified programs from those proofs.