hwayne Merge pull request #12 from gallais/master

[ new ] agda sol in correct-by-construction style

Latest commit d33b81e

Jun 29, 2018