-
Exported names:
-
Imported modules:
Module Data.BinIntConvert
This library contains operations to convert binary numbers into standard integer constants.
Version: December 2020
Summary of exported operations:
fromNat
:: Nat -> Int 
Converts a binary natural number into an integer constant. |
fromBinInt
:: BinInt -> Int
Converts a binary integer into an integer constant. |
Exported operations:
|
Converts a binary integer into an integer constant. |