Topic Answers Author Views
typo in example under 5.3.2 1 Thomas Dziedzic 551
typo in example under 5.3.7 1 Thomas Dziedzic 547
3.3.2 Transposing a Matrix, step 7 1 dallaway 623
Module systems, package managers, and all that 1 Brian Rogoff 537
Error/Typo - page 8 1 183446 488
Indentation query, p. 99 v4_MEAP.pdf 1 dallaway 434
import Data.Fin (4.2.3, p. 116 of v4_MEAP.pdf) 1 dallaway 467
2.2.6 Anonymous functions, would be nice with explanation of type (MEAP V04) 1 MichelNielsen 415
1.4.2 - Total and Partial functions 3 317511 666
Ch 1 Exercise 2 2 kmeredith 598
listing 2.1 fail to compile (MEAP V04) 1 MichelNielsen 433
Wrong link in epub book, ch. 5 0 371392 427
Chapter 5 1 536
Exercises 2.5 #6 1 Jean 409
Disadvantages of dependent types 1 232883 657
Right margin cut off on page 73 0 371468 449
Some theoretical background on: whence Idris? 0 dtonnofer 662
Records not mentioned in chapter 4 - User Defined Data Types 2 Rouan van Dalen 555
Consistency nit-picks 0 371795 413
Chapter 2 Listing 1A: Running Example average 1 373383 411
Listing 3.3 2 604
Typos 2 Gary Fixler 531
A little confused by Table 1.3 Vending Machine Operations... 6 Gary Fixler 855
Pure functions have an important side-effect: Waiting 1 tuna fish 507
Running a functional programming book club 3 Fabian von Feilitzsch 682
2.5 Exercises #8 typo 0 Gary Fixler 391
Missing indefinite article in 2.2.5 Higher Order Function Types 0 Anonymous 441
Chapter 1.2.4 - Idris Version & ?greeting 2 iyerland 568
Typo in 2.1 Basic Types 0 Gary Fixler 383
Typo on 1.5.2 A Type-driven Vending Machine 0 Liam Goodacre 423
Minor confusion in 1.4.1 Purity and Referential Transparency 0 Gary Fixler 405
Typo on 1.4.2 Partial and Total Functions 0 Liam Goodacre 414
Errata 4 Vitaly Bragilevsky 821
Types as a first class construct 0 371468 510