<div dir="ltr"><div><div>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).<br>
<br></div>Code is on github: <a href="https://github.com/cjenkin1/game-of-life-agda">https://github.com/cjenkin1/game-of-life-agda</a><br></div>The relevant file is GOL-main.agda, but any comments on the other file are welcome. I am using Ulf's Prelude library: <a href="https://github.com/UlfNorell/agda-prelude">https://github.com/UlfNorell/agda-prelude</a><br clear="all">
<div><div><div><br>-- <br><div dir="ltr"><div>Christopher Jenkins<br>Computer Science 2013<br>Trinity University</div></div>
</div></div></div></div>