name: natural-bits version: 1.5 description: Natural number to bit-list conversions author: Joe Hurd license: MIT requires: bool requires: function requires: list requires: natural requires: pair 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.8 } thm { import: def package: natural-bits-thm-1.7 } main { import: def import: thm }