name: base version: 1.39 description: The standard theory library author: Joe Hurd license: MIT requires: empty show: "Data.Bool" show: "Data.List" show: "Data.Option" show: "Data.Pair" show: "Data.Sum" show: "Data.Unit" show: "Function" show: "Number.Natural" show: "Number.Real" as "Real" show: "Relation" show: "Set" bool { package: bool-1.12 } unit { import: bool package: unit-1.6 } function { import: bool package: function-1.13 } pair { import: bool package: pair-1.6 } natural { import: bool import: function package: natural-1.18 } set { import: bool import: function import: pair import: natural package: set-1.13 } relation { import: bool import: function import: pair import: natural import: set package: relation-1.13 } sum { import: bool import: pair import: natural package: sum-1.13 } option { import: bool import: natural package: option-1.18 } list { import: bool import: function import: pair import: natural import: set package: list-1.20 } real { import: bool import: function import: pair import: natural import: set package: real-1.10 } main { import: bool import: unit import: function import: pair import: natural import: set import: relation import: sum import: option import: list import: real }