RossMeikleham / Idris-Conway

Conway's Game Of Life Implementation in Idris

Conway's Game Of Life

Implementation of Conway's Game Of Life in Idris

Required

• SDL and Idris SDL bindings, bindings can be found here
• Idris 0.9.19 or above

Building

• idris --build conway.ipkg

Running

conway example.RLE

Currently this implementation reads a file representing an initial Conway State in Runtime Length Encoded Format. Pressing a key with the SDL window focussed increments the state

TODO

• Properly support RLE format, there's a few bugs in parsing the format
• Generate animated GIF image for up to a given amount of states (if the conway state loops at any point before the specified amount of states to capture, we can stop capturing at this point)

Examples

Pulsar

./conway examples/pulsar.RLE

Octagon2

./conway examples/octagon2.RLE