Initial commit
Reduce to zero
Parity correct
Weakest pre-condition
WIP; decorated programs
WIP; decorated programs