Cincy Functional Programmers

Join us for an exciting holiday meeting with Idris (http://www.idris-lang.org/).

The exciting part is we don't know anything about the language other than it is supposed to be really great.

We will laugh and cry our way through trying to figure out how to solve katas together as a group.

Also, dinner is not provided - but feel free to bring a holiday snack to share :)

The meeting starts at 6:30 – Food is not usually provided, but feel free to bring you own.

http://cincyfp.wordpress.com/

Twitter: @cincyfp