Commit 1477b5c

committed

fast rational reflection, no lousy *sic* unification in Fast.Order.Properties

1 parent 32d09a9 commit 1477b5cCopy full SHA for 1477b5c

2 files changed

+1119

-906

lines changed

Cubical
- Data/Rationals/Fast/Order
  - Properties.agda
- Tactics/CommRingSolver
  - FastRationalsReflection.agda

+1119

-906

lines changed

Comments

(0)