Type-Driven Development With Idris Reading Group

First meeting to discuss pace and get to know each other. Bring a laptop and we'll setup Idris. Chapter 1 (https://manning-content.s3.amazonaws.com/download/a/580d6ba-451f-43c2-98aa-304705c5dab5/SampleCh01.pdf) is available for the ambitious.

The WeWork is in the Fulton Center above the Shake Shack. We will be meeting on the 3rd floor, look for signs.