Archived This repository has been archived, as the ring solver has now been added to the agda standard library. Old README: Click here for the README