
  0 | module Algebra
  1 | 
  2 | import public Algebra.ZeroOneOmega
  3 | import public Algebra.Semiring
  4 | import public Algebra.Preorder
  5 | 
  6 | %default total
  7 | 
  8 | public export
  9 | RigCount : Type
 10 | RigCount = ZeroOneOmega
 11 | 
 12 | export
 13 | showCount : RigCount -> String
 14 | showCount = elimSemi "0 " "1 " (const "")
 15 |