edwinb/Idris-dev — pull request #336 by JanBessai (2013-06-19 22:46:02+00:00)
Title: Effectful memory operations

Now with mmap and automatic bound checks