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)
commitdb5a43e4fc00d4b9ce5058cc50c2949f86a60e34
tree9cddbda4eeca4cd2cf5fb20270ec872123929598
parent59ace8ba2b5c233c3d14b1d69d22fa9164c620b2
Add functions for comparing type-level Nats and Symbols.
libraries/base/GHC/TypeLits.hs