Skip to content

Resolve "replace `Succ` with an `Add` constructor on `Level`"

belazy requested to merge 95-replace-succ-with-an-add-constructor-on-level into main

Closes #95 (closed)

Merge request reports