chiark / gitweb /
Rename the module!
authorSimon Tatham <anakin@pobox.com>
Tue, 15 Apr 2025 05:36:13 +0000 (06:36 +0100)
committerSimon Tatham <anakin@pobox.com>
Tue, 15 Apr 2025 05:36:13 +0000 (06:36 +0100)
commitb35a93d0264603864151e124f24d890efcbcf85d
treede74094fdde2c4b8f36ba118f7b47458c341e6c9
parentbff51ac6a06490a185eda93c9be052cd56286fcd
Rename the module!

Why didn't I think of leaving the redundant word 'nimber' off that
module name ages ago?
src/finite.rs [moved from src/finitenimber.rs with 100% similarity]
src/lib.rs