Code

Remove nat magic#3184

Code

Draft

Z-snails wants to merge 2 commits intoidris-lang:mainidris-lang/Idris2:mainfrom Z-snails:remove-nat-magicZ-snails/Idris2:remove-nat-magicCopy head branch name to clipboard

+40-93

Commits

Commits on Jan 1, 2024

• Remove nat magic

  Z-snails

  committed
  504a444

  Copy full SHA for 504a444

• Update libs/prelude/Prelude/Types.idr

  Show description for da9880d
  

  Z-snails

  and

  mattpolzin

  authored
  da9880d

  Copy full SHA for da9880d