Merge pull request #2897 from ForNeVeR/patch-1
Add an example of binding without type annotation
commita356ee866a059976b7086dbae51c3dbe7c74c14f
authorEdwin Brady <edwin.brady@gmail.com>
dateWed 20 Jan 2016, 15:58 (11 years ago)
parent62094dd547273d
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