I am using this repository to help explore and understand a possible invariant-rich language I might write.