Idris2Doc : Data.Nat.Order.Relation

Data.Nat.Order.Relation

An example implementation for the Tolerance relation.