idris-hackers/iQuery — pull request #10 by BartAdv (2014-07-08 13:36:13+00:00)
Title: Add setValue

Noticed it's missing even when there is `setValue`.

Also added simple gitignore and fixed case in example, very minor stuff so I packed it in this PR.

There is also question about example - the current one is focused on state, should another one, more general be made?