Add an example of binding without type annotation
commit547273d2e4419936a414fd61fbfd87737dc5797d
authorFriedrich von Never <friedrich@fornever.me>
dateWed 20 Jan 2016, 16:06 (11 years ago)
parent220f400
docs/reference/repl.rst+3
@@ -212,6 +212,9 @@ declarations as well, such as ``data``.
212212 Idris> :let x : String; x = "hello"
213213 Idris> x
214214 "hello" : String
215+ Idris> :let y = 10
216+ Idris> y
217+ 10 : Integer
215218 Idris> :let data Foo : Type where Bar : Foo
216219 Idris> Bar
217220 Bar : Foo