Theory base

theory file

name base
version 1.221
requires
    meta.description The standard theory library
    meta.author Joe Leslie-Hurd <joe@gilith.com>
    meta.license MIT
    meta.homepage https://opentheory.gilith.com/?pkg=base
    meta.show "Data.Bool"
    meta.show "Data.List"
    meta.show "Data.Option"
    meta.show "Data.Pair"
    meta.show "Data.Sum"
    meta.show "Data.Unit"
    meta.show "Function"
    meta.show "Number.Natural"
    meta.show "Number.Real"
    meta.show "Relation"
    meta.show "Set"
    meta.haskell-name opentheory
    meta.haskell-int-file haskell.int
    meta.haskell-src-file haskell.art
    meta.haskell-test-file haskell-test.art
    meta.haskell-equality-type "Data.List.list"
    meta.haskell-equality-type "Data.Option.option"
    meta.haskell-equality-type "Data.Pair.*"
    meta.haskell-equality-type "Data.Sum.+"
    meta.haskell-equality-type "Number.Natural.natural"
    meta.haskell-arbitrary-type "Data.List.list"
    meta.haskell-arbitrary-type "Data.Option.option"
    meta.haskell-arbitrary-type "Data.Pair.*"
    meta.haskell-arbitrary-type "Data.Sum.+"
    meta.haskell-arbitrary-type "Number.Natural.natural"
    name main
    imports
    • bool
    • unit
    • function
    • pair
    • natural
    • set
    • relation
    • sum
    • option
    • list
    • real
    subs
    11 subs
    name bool
    package bool-1.37
    name unit
    imports
    • bool
    package unit-1.21
    name function
    imports
    • bool
    package function-1.55
    name pair
    imports
    • bool
    • function
    package pair-1.30
    name natural
    imports
    • bool
    • function
    package natural-1.112
    name set
    imports
    • bool
    • function
    • pair
    • natural
    package set-1.85
    name relation
    imports
    • bool
    • function
    • pair
    • natural
    • set
    package relation-1.63
    name sum
    imports
    • bool
    • pair
    • natural
    package sum-1.61
    name option
    imports
    • bool
    • function
    • natural
    package option-1.72
    name list
    imports
    • bool
    • function
    • pair
    • natural
    • set
    package list-1.107
    name real
    imports
    • bool
    • function
    • pair
    • natural
    • set
    package real-1.61
    [evaluating…]