| -rw-r--r-- | .gitignore | 3L |
| -rw-r--r-- | TODO | 5L |
| -rw-r--r-- | package.yaml | 38L |
| -rw-r--r-- | src/Naturals.hs | 15L |
| -rw-r--r-- | src/Naturals/Fin.hs | 32L |
| -rw-r--r-- | src/Naturals/Finat.hs | 5L |
| -rw-r--r-- | src/Naturals/Finat/Unsafe.hs | 35L |
| -rw-r--r-- | src/Naturals/FinatSeq.hs | 5L |
| -rw-r--r-- | src/Naturals/FinatSeq/Unsafe.hs | 98L |
| -rw-r--r-- | src/Naturals/Finatural.hs | 5L |
| -rw-r--r-- | src/Naturals/Finatural/Unsafe.hs | 31L |
| -rw-r--r-- | src/Naturals/IsFin.hs | 130L |
| -rw-r--r-- | src/Naturals/IsSpeano.hs | 116L |
| -rw-r--r-- | src/Naturals/Nat.hs | 63L |
| -rw-r--r-- | src/Naturals/NatMap.hs | 51L |
| -rw-r--r-- | src/Naturals/Natural.hs | 27L |
| -rw-r--r-- | src/Naturals/Peano.hs | 7L |
| -rw-r--r-- | src/Naturals/Peano/Alias.hs | 47L |
| -rw-r--r-- | src/Naturals/Peano/Prim.hs | 76L |
| -rw-r--r-- | src/Naturals/Snat.hs | 5L |
| -rw-r--r-- | src/Naturals/Snat/Unsafe.hs | 33L |
| -rw-r--r-- | src/Naturals/Snatural.hs | 5L |
| -rw-r--r-- | src/Naturals/Snatural/Unsafe.hs | 28L |
| -rw-r--r-- | src/Naturals/Speano.hs | 33L |
| -rw-r--r-- | stack.yaml | 1L |
