Topic Forum Name
Behaviour change for Force/Delay in Idris 0.99? (Section 11.1.4, MEAP v13) Type-Driven Development with Idris
Type variable name changes in section 11.1.4 (MEAP v13) Type-Driven Development with Idris
“This begs the question” Elm in Action
Possible typo in section 8.6.2 (v13) Type-Driven Development with Idris
Error with skeleton code for exercise 8.2.6.2 Type-Driven Development with Idris
Wrong link in epub book, ch. 5 Type-Driven Development with Idris