diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-05-27 17:26:09 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-05-27 17:26:15 +0200 |
| commit | 32163af81b09c3d5813fd44df0d5f8b7c0e2fba6 (patch) | |
| tree | 5ecae4fe2a893a5305c5c4d8cc70e45888cf869d /src/Data/Nat.hs | |
| parent | 17dd9271a64ff47abb551179a6ab61dff1f9ed6f (diff) | |
Export NumElt and FloatElt publicly
Diffstat (limited to 'src/Data/Nat.hs')
0 files changed, 0 insertions, 0 deletions