@@ -212,6 +212,9 @@ declarations as well, such as ``data``.
212 Idris> :let x : String; x = "hello"
212 Idris> :let x : String; x = "hello"
214 "hello" : String
214 "hello" : String
215 Idris> :let data Foo : Type where Bar : Foo
218 Idris> :let data Foo : Type where Bar : Foo
216 Idris> Bar
219 Idris> Bar
217 Bar : Foo
220 Bar : Foo