371392 (9) [Avatar] Offline
#1
In the note ‘IO in Haskell and Idris’, in the setence ending with ‘you can safely move on to Section   “Reading and Validating Dependent Types”’, the link takes me to the start of chapter 5. I'm using the epub verision in iBooks.