added Hutton.agda to the repo