Add functions for comparing type-level Nats and Symbols.
authorIavor S. Diatchki <diatchki@galois.com>
Wed, 19 Mar 2014 02:35:05 +0000 (19:35 -0700)
committerIavor S. Diatchki <diatchki@galois.com>
Wed, 19 Mar 2014 02:35:05 +0000 (19:35 -0700)
commitc1d3546420ee482bbbd9f15d45a6e8a26304d419
tree9a608c2709f2ddcc92207d68f71b48b0ac446f54
parent172dc4b451579512024eb6d8d70da1671b32e05b
Add functions for comparing type-level Nats and Symbols.
GHC/TypeLits.hs