4 ms·The Idris book is awesome. Also, Liquid Haskell is awesome, if Idris is too painful.by lopatin 9y agoThe Idris book is awesome. Also, Liquid Haskell is awesome, if Idris is too painful.