diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-04-14 16:01:02 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-04-14 16:02:26 +0200 |
| commit | e001480cd6ac3a3b79c837c4a12645bf78200b98 (patch) | |
| tree | a463d8679f731d9fcf4e059704dcdc4065ce86bf /src/Data/Nat.hs | |
| parent | 40dcdf2360c90437fd5c8f76f5f75c96203ef880 (diff) | |
scalar
Diffstat (limited to 'src/Data/Nat.hs')
0 files changed, 0 insertions, 0 deletions