Lysxia/first-class-families
1
1
Fork 0
mirror of https://github.com/Lysxia/first-class-families.git synced 2024-10-27 03:49:57 +03:00
Code Issues Projects Releases Wiki Activity

Add note about Nat comparison

Browse Source
This commit is contained in:
Lysxia 2020-03-01 13:44:19 -05:00
parent 97b5ab832d
commit 7419cd47e3
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/Fcf/Data/Nat.hs
View File

@ -27,6 +27,9 @@ module Fcf.Data.Nat
, type (-)
, type (Fcf.Data.Nat.*)
, type (^)
-- * Comparisons
-- | Note that these conflict with "Fcf.Class.Ord".
, type (<=)
, type (>=)
, type (<)