Add ring solver#39

omelkonian merged 5 commits into

masteragda/agda-stdlib-meta:masterfrom

ring-solveragda/agda-stdlib-meta:ring-solverCopy head branch name to clipboard