Closed hsyl20 closed 2 months ago
Replace :set with :seti (thans @sol for the suggestion in https://github.com/haskus/packages/pull/55#issuecomment-2257103106)
:set
:seti
Fix a bug in BitNat creation and display revealed by the doctests
Replace
:set
with:seti
(thans @sol for the suggestion in https://github.com/haskus/packages/pull/55#issuecomment-2257103106)Fix a bug in BitNat creation and display revealed by the doctests