Skip to content

Instantly share code, notes, and snippets.

@david-christiansen

david-christiansen/*idris-events*.txt

Created May 20, 2015 16:40
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save david-christiansen/e0aecbd3144e193956d8 to your computer and use it in GitHub Desktop.
Save david-christiansen/e0aecbd3144e193956d8 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
*idris-events*.txt
18:38:27 -> ((:docs-for "Nat")
94)
18:38:27 <- (:return
(:ok "Data type Nat : Type\n Unary natural numbers\n \nConstructors:\n Z : Nat\n Zero\n \n S : Nat -> Nat\n Successor\n "
((10 3
((:name "Prelude.Nat.Nat")
(:implicit :False)
(:decor :type)
(:doc-overview "Unary natural numbers")
(:type "Type")
(:namespace "Prelude.Nat")))
(16 4
((:decor :type)
(:type "Type")
(:doc-overview "The type of types")
(:name "Type")))
(70 1
((:name "Prelude.Nat.Z")
(:implicit :False)
(:decor :data)
(:doc-overview "Zero")
(:type "Nat")
(:namespace "Prelude.Nat")))
(74 3
((:name "Prelude.Nat.Nat")
(:implicit :False)
(:decor :type)
(:doc-overview "Unary natural numbers")
(:type "Type")
(:namespace "Prelude.Nat")))
(104 1
((:name "Prelude.Nat.S")
(:implicit :False)
(:decor :data)
(:doc-overview "Successor")
(:type "Nat -> Nat")
(:namespace "Prelude.Nat")))
(108 3
((:name "Prelude.Nat.Nat")
(:implicit :False)
(:decor :type)
(:doc-overview "Unary natural numbers")
(:type "Type")
(:namespace "Prelude.Nat")))
(115 3
((:name "Prelude.Nat.Nat")
(:implicit :False)
(:decor :type)
(:doc-overview "Unary natural numbers")
(:type "Type")
(:namespace "Prelude.Nat")))))
94)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment