Add commutative ring and field instances for Data.Rationals#1260

mortberg merged 1 commit into

agda:masteragda/cubical:masterfrom

broughjt:rational-field-instancebroughjt/cubical:rational-field-instanceCopy head branch name to clipboard