Type-Driven Development with Idris by Brady, Edwin May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less