name: unit version: 1.0 description: Basic theory of the unit type author: Joe Hurd license: MIT show: "Data.Bool" show: "Data.Unit" def { package: unit-def-1.0 } thm { import: def package: unit-thm-1.0 } main { import: def import: thm }