noiioiu/nimbers - Change 73K2ULQWAV2A2MICO4YYOVKX55WJYYHBBQSALBZQBKQJLYIDDPGQC

Nimbers in haskell.

Use Numeric.Natural

Created by noiioiu on April 21, 2024

73K2ULQWAV2A2MICO4YYOVKX55WJYYHBBQSALBZQBKQJLYIDDPGQC

Dependencies

In channels

main

Change contents

Insertion in src/Data/Nimber.hs at line 15 [3.880]
[2.359]
[3.1521]
```
import Numeric.Natural
```
Deletion in src/Data/Nimber.hs at line 17 [3.880]
∅:D[4.89] → [5.687:710]
B:BD[3.1522] → [5.687:710]
B:BD[3.2146] → [3.2146:2147]
```
type Natural = Integer
```