libs: mark Data.Nat.lteAddRight as public export
libs: mark Data.Nat.lteAddRight as public export

mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm