Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Remove Proxy# argument in Data.Typeable.Internal | Krzysztof Gogolewski | 2020-10-15 | 1 | -1/+1 |
* | Built-in Natural literals in Core | Sylvain Henry | 2018-06-15 | 1 | -9/+7 |
* | Introduce GHC.TypeNats module, change KnownNat evidence to be Natural | Oleg Grenrus | 2017-02-01 | 1 | -1/+3 |
* | Move CallStack back to base | Ben Gamari | 2015-10-02 | 1 | -1/+2 |
* | Use IP based CallStack in error and undefined | Eric Seidel | 2015-09-02 | 1 | -1/+4 |
* | base: Manually unlit .lhs into .hs modules | Herbert Valerio Riedel | 2014-11-07 | 1 | -0/+34 |