Add missing `%default total`
Created by fabian on June 19, 2021
OGAGWESA5SE6B2UY26DJ47V6AUVSNJ5NVPFPGAS4HATC2HPWDCBAC Dependencies
In channels
main
Change contents
Insertion in src/Data/Natural/Show.idr at line 10 [2.1538]
Insertion in src/Data/Natural/Group.idr at line 10 [2.5292]
Insertion in src/Data/Natural/Equivalence.idr at line 8 [2.7508]
Insertion in src/Data/LinkedList/Monad.idr at line 10 [3.426]
Insertion in src/Data/LinkedList/Functor.idr at line 8 [3.1795]
Insertion in src/Control/Show.idr at line 2 [4.1308]
Insertion in src/Algebra/Ring/Semiring.idr at line 7 [5.2788]