We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 1851caf commit 078d221Copy full SHA for 078d221
README.md
@@ -40,9 +40,8 @@ arby is designed with the following goals in mind:
40
41
### What will be provided in future?
42
43
-- Additions to **`Nat`**:
44
- Arbitrary-precision signed integers (the [Integers](https://en.wikipedia.org/wiki/Integer)) via class **`Int`**
45
- - All operations supported by **`Nat`** with the exception of bitwise ones
+ - All operations supported by **`Nat`** with the exception of bitwise ones (but including bit-shifting)
46
- sign change
47
- absolute value
48
0 commit comments