edwinb/Idris-dev — pull request #270 by JanBessai (2013-04-05 00:27:33+00:00)
Title: Effectful memory operations

See test for an example :)