chiark / gitweb /
Determine starting level
authorSimon Tatham <anakin@pobox.com>
Fri, 11 Apr 2025 17:44:21 +0000 (18:44 +0100)
committerSimon Tatham <anakin@pobox.com>
Fri, 11 Apr 2025 17:44:21 +0000 (18:44 +0100)
commitcab796ae353a8b2c2da2927ca92eb9b8c43c10ae
tree434b0eb4cf9eb314386dc7385184de822b825b2e
parent4e16909a245bb3c0ce0c4825ca66655333f20f12
Determine starting level
src/finitenimber.rs