poset: Rename isSignificant to isOrdered.
tree9a0b07ad1c1159f66da6f46a69c31481ee56fcc2
-rw-r--r-- 67 .gitignore
drwxr-xr-x - Data
-rw-r--r-- 1296 LICENSE
-rwxr-xr-x 104 Setup.lhs
-rw-r--r-- 31 altfloat.buildinfo.in
-rw-r--r-- 2807 altfloat.cabal
-rw-r--r-- 1075 cfloat.c
-rw-r--r-- 211 cfloat.h
-rw-r--r-- 753 configure.ac