name: natural-bits version: 1.12 description: Natural number to bit-list conversions author: Joe Leslie-Hurd license: MIT requires: bool requires: function requires: list requires: natural requires: pair requires: probability requires: relation show: "Data.Bool" show: "Data.List" show: "Data.Pair" show: "Function" show: "Number.Natural" show: "Probability.Random" def { package: natural-bits-def-1.13 } thm { import: def package: natural-bits-thm-1.12 } main { import: def import: thm }