floating: Add a Sortable constraint for PrimFloat.
[altfloat.git] / Data / 
treec4cd8df42a9fc798ad50b38ee06fc8b1e8364352
drwxr-xr-x   ..
-rw-r--r-- 1321 Floating.hs
drwxr-xr-x - Floating
-rw-r--r-- 1561 Poset.hs
drwxr-xr-x - Poset
-rw-r--r-- 2001 Roundable.hs