chiark / gitweb /
Stop allocating a Vec for a one-word nimber
authorSimon Tatham <anakin@pobox.com>
Sat, 12 Apr 2025 12:34:09 +0000 (13:34 +0100)
committerSimon Tatham <anakin@pobox.com>
Sat, 12 Apr 2025 12:49:33 +0000 (13:49 +0100)
commit3d042562c6321e134c71c1948bc8e4ed1c717c86
treec7afce34c5573a72482589c3e520d36a8312affc
parentdfca08a29c0dd935ce7aa708b72e3e11045ba833
Stop allocating a Vec for a one-word nimber
src/finitenimber.rs