[Agda] Game of Life

[Christopher Jenkins]

I recently finished an implementation of the Game of Life in Agda. I think
the core functionality is pretty good, but I was wondering if there was a
more elegant / idiomatic way to do file I/O and error handling than what
I'm doing (using Either and explicit lifting functions from Maybe and Dec).

Code is on github: https://github.com/cjenkin1/game-of-life-agda
The relevant file is GOL-main.agda, but any comments on the other file are
welcome. I am using Ulf's Prelude library:
https://github.com/UlfNorell/agda-prelude

-- 
Christopher Jenkins
Computer Science 2013
Trinity University
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20140629/2e42a1e7/attachment.html