Topic Answers Author Views
Exercise 3.3.3 0 Andre Dublin 593
typo in example under 5.3.2 1 Thomas Dziedzic 577
typo in example under 5.3.7 1 Thomas Dziedzic 565
3.3.2 Transposing a Matrix, step 7 1 dallaway 645
Module systems, package managers, and all that 1 Brian Rogoff 549
Error/Typo - page 8 1 183446 508
Indentation query, p. 99 v4_MEAP.pdf 1 dallaway 456
import Data.Fin (4.2.3, p. 116 of v4_MEAP.pdf) 1 dallaway 497
2.2.6 Anonymous functions, would be nice with explanation of type (MEAP V04) 1 MichelNielsen 438
1.4.2 - Total and Partial functions 3 317511 707
Ch 1 Exercise 2 2 kmeredith 627
listing 2.1 fail to compile (MEAP V04) 1 MichelNielsen 449
Wrong link in epub book, ch. 5 0 371392 445
Chapter 5 1 548
Exercises 2.5 #6 1 Jean 424
Disadvantages of dependent types 1 232883 680
Right margin cut off on page 73 0 371468 458
Some theoretical background on: whence Idris? 0 dtonnofer 687
Records not mentioned in chapter 4 - User Defined Data Types 2 Rouan van Dalen 585
Consistency nit-picks 0 371795 431
Chapter 2 Listing 1A: Running Example average 1 373383 443
Listing 3.3 2 628
Typos 2 Gary Fixler 562
A little confused by Table 1.3 Vending Machine Operations... 6 Gary Fixler 911
Pure functions have an important side-effect: Waiting 1 tuna fish 537
Running a functional programming book club 3 Fabian von Feilitzsch 707
2.5 Exercises #8 typo 0 Gary Fixler 406
Missing indefinite article in 2.2.5 Higher Order Function Types 0 Anonymous 463
Chapter 1.2.4 - Idris Version & ?greeting 2 iyerland 594
Typo in 2.1 Basic Types 0 Gary Fixler 405
Typo on 1.5.2 A Type-driven Vending Machine 0 Liam Goodacre 436
Minor confusion in 1.4.1 Purity and Referential Transparency 0 Gary Fixler 430
Typo on 1.4.2 Partial and Total Functions 0 Liam Goodacre 429
Errata 4 Vitaly Bragilevsky 860
Types as a first class construct 0 371468 528