name: byte version: 1.133 description: Bytes author: Joe Leslie-Hurd license: MIT homepage: http://opentheory.gilith.com/?pkg=byte requires: base requires: natural-bits requires: natural-divides requires: probability show: "Data.Bool" show: "Data.Byte" show: "Data.Byte.Bits" show: "Data.List" show: "Number.Natural" show: "Probability.Random" hol-light-int-file: hol-light.int hol-light-thm-file: hol-light.art haskell-int-file: haskell.int haskell-src-file: haskell.art haskell-equality-type: "Data.Byte.byte" haskell-arbitrary-type: "Data.Byte.byte" def { package: byte-def-1.97 checksum: 6feed5055d9c9a5d18a611ebec81549cbabb1cdc } bits { import: def package: byte-bits-1.83 checksum: bcdeec28e3a9a8809a08b21706fb7350d2a439db } main { import: def import: bits }