diff options
| author | Oleg Grenrus <oleg.grenrus@iki.fi> | 2017-02-01 22:49:17 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-02-01 23:37:47 -0500 |
| commit | 1fcede43d2b30f33b7505e25eb6b1f321be0407f (patch) | |
| tree | 9c206c94aa567b0a8d53cc65156666c26030d955 /docs/users_guide/using.rst | |
| parent | f5b275a239d2554c4da0b7621211642bf3b10650 (diff) | |
| download | haskell-1fcede43d2b30f33b7505e25eb6b1f321be0407f.tar.gz | |
Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
Reviewers: dfeuer, austin, hvr, bgamari
Reviewed By: bgamari
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D3024
GHC Trac Issues: #13181
Diffstat (limited to 'docs/users_guide/using.rst')
0 files changed, 0 insertions, 0 deletions