diff options
| author | Justin Le <justin@jle.im> | 2016-05-25 02:20:49 -0700 |
|---|---|---|
| committer | Justin Le <justin@jle.im> | 2016-05-25 02:20:49 -0700 |
| commit | 5623e4d4e613b89786a225265a4d8373680096f3 (patch) | |
| tree | 4ea79f2ed7a8199b80ae6eea3b272822fb569e35 /packages/base/src/Internal | |
| parent | 42a88fbcb6bd1d2c4dc18fae5e962bd34fb316a1 (diff) | |
re-implemented exactDim and exactLength in terms of the native GHC TypeLits API with sameNat
Diffstat (limited to 'packages/base/src/Internal')
0 files changed, 0 insertions, 0 deletions