Add missing `%default total` declarations
Created by fabian on June 7, 2021
AYH2HO67CJQTXMZO5JEFBXSDAVUH4NVX42VAQMPJIQUGX7UFW3IAC Dependencies
In channels
main
Change contents
Insertion in src/Data/Either.idr at line 8 [4.13]
Insertion in src/Algebra/Relation/Order.idr at line 9 [5.12]
Insertion in src/Algebra/Group/Semigroup.idr at line 6 [6.639]
Insertion in src/Algebra/Group/Monoid.idr at line 6 [6.395]
Insertion in src/Algebra/Group/Magma.idr at line 4 [6.270]
Insertion in src/Algebra/Group/Group.idr at line 6 [6.12]