| Commit message (Expand) | Author | Age | Files | Lines |
* | Export symbolSing, SSymbol, and friends (CLC#85)wip/clc-85 | Ryan Scott | 2022-10-06 | 1 | -0/+36 |
* | Improve error messages involving operators from Data.Type.Ord | Christiaan Baaij | 2021-09-17 | 1 | -15/+17 |
* | Built-in type families: CharToNat, NatToChar (#19535) | Vladislav Zavialov | 2021-03-17 | 1 | -0/+4 |
* | Add cmpNat, cmpSymbol, and cmpChar | Daniel Winograd-Cort | 2021-03-03 | 1 | -15/+37 |
* | The Char kind (#11342) | Daniel Rogozin | 2021-02-06 | 1 | -0/+24 |
* | Unification of Nat and Naturals | HaskellMouse | 2020-10-13 | 1 | -22/+28 |
* | Make sameNat and sameSymbol proxy-polymorphic | Bodigrim | 2019-12-05 | 1 | -4/+2 |
* | Standalone kind signatures (#16794)wip/top-level-kind-signatures | Vladislav Zavialov | 2019-09-25 | 1 | -36/+46 |
* | Print explicit foralls in type family eqns when appropriate | Ryan Scott | 2018-11-26 | 1 | -1/+1 |
* | Implement Div, Mod, and Log for type-level nats. | Iavor Diatchki | 2017-10-03 | 1 | -0/+7 |
* | Fix #14167 by using isGadtSyntaxTyCon in more places | Ryan Scott | 2017-09-02 | 1 | -13/+17 |
* | Reexport CmpNat and friends (defined in GHC.TypeNats) from GHC.TypeLits | Ryan Scott | 2017-03-04 | 1 | -20/+20 |
* | Introduce GHC.TypeNats module, change KnownNat evidence to be Natural | Oleg Grenrus | 2017-02-01 | 1 | -13/+13 |
* | Add 'type family (m :: Symbol) <> (n :: Symbol)' | Oleg Grenrus | 2017-01-20 | 1 | -0/+3 |
* | Address #11471 by putting RuntimeRep in kinds.wip/runtime-rep | Richard Eisenberg | 2016-02-24 | 1 | -9/+9 |
* | Narrow scope of special-case for unqualified printing of names in core libraries | Ben Gamari | 2015-12-15 | 1 | -43/+62 |
* | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 1 | -8/+16 |
* | T9181: Fix testsuite output | Ben Gamari | 2015-11-17 | 1 | -0/+6 |
* | Show minimal complete definitions in ghci (#10847) | Moritz Kiefer | 2015-09-17 | 1 | -0/+2 |
* | Move IP, Symbol, Nat to ghc-prim | Simon Peyton Jones | 2015-05-01 | 1 | -29/+29 |
* | Error msg wibbles from reduced module prefixes | Simon Peyton Jones | 2015-04-07 | 1 | -54/+29 |
* | accept T9181 output | Simon Marlow | 2014-06-17 | 1 | -0/+4 |
* | Pretty-print built in synonym families in interfaces | Joachim Breitner | 2014-06-07 | 1 | -0/+50 |