| 2025-07-27 00:22 | Fix Num Nat instance | Robert Russell | 1 | +21 | -1 |
| 2025-07-07 01:45 | Don't export FinatSeq for Naturals top-level module | Robert Russell | 1 | +0 | -1 |
| 2025-07-06 01:00 | Add NatMap | Robert Russell | 4 | +69 | -5 |
| 2025-07-05 23:36 | Add FinatSeq, Peano-indexed Seqs indexable with Finats | Robert Russell | 5 | +106 | -0 |
| 2025-07-05 23:16 | Hide unsafe constructors | Robert Russell | 8 | +135 | -115 |
| 2025-07-05 19:34 | Export finatMirror and finaturalMirror | Robert Russell | 2 | +2 | -0 |
| 2025-07-05 19:29 | Add finatMirror and finaturalMirror | Robert Russell | 2 | +6 | -2 |
| 2025-07-05 05:39 | Add stuff for working with finite prefixes of the natural numbers | Robert Russell | 9 | +243 | -3 |
| 2025-07-05 00:03 | Add IsSpeano type class for Speano, Snat, and Snatural | Robert Russell | 14 | +195 | -347 |
| 2025-06-30 00:34 | Rename package from Snats to Naturals | Robert Russell | 33 | +549 | -549 |
| 2025-06-30 00:27 | Rename, clean up, extend, and improve | Robert Russell | 17 | +535 | -121 |
| 2025-06-27 05:35 | Initial commit | Robert Russell | 6 | +177 | -0 |
