on ff0fbfa help sign in
Idris-dev/lib/Data/Sign.idr
6 lines 90 B history raw
1module Data.Sign
3data Sign = Plus | Minus
5class Signed t where
6 total sign : t -> Sign