Integer operations using built-ins#1245

felixwellen merged 1 commit into

agda:masteragda/cubical:masterfrom

LorenzoMolena:minimal-fast-intLorenzoMolena/cubical:minimal-fast-intCopy head branch name to clipboard