added the jigger
agda files