diff options
| author | Iavor S. Diatchki <iavor.diatchki@gmail.com> | 2013-09-12 23:20:24 -0700 |
|---|---|---|
| committer | Iavor S. Diatchki <iavor.diatchki@gmail.com> | 2013-09-12 23:20:24 -0700 |
| commit | 04a24282d8e0302d6c575b90c62bc6a02c2e36b1 (patch) | |
| tree | 73e2c0bdc1218434ac57af100388cd96e11408db /testsuite/tests/annotations | |
| parent | 280139719545be9c741376bac826dd34dc100a4e (diff) | |
| download | haskell-04a24282d8e0302d6c575b90c62bc6a02c2e36b1.tar.gz | |
Add some tests for evaluating type-level naturals.
Diffstat (limited to 'testsuite/tests/annotations')
0 files changed, 0 insertions, 0 deletions