Topic Answers Author Views
3.3.2 Transposing a Matrix, step 7 1 dallaway 534
Module systems, package managers, and all that 1 Brian Rogoff 470
Error/Typo - page 8 1 183446 401
Indentation query, p. 99 v4_MEAP.pdf 1 dallaway 363
import Data.Fin (4.2.3, p. 116 of v4_MEAP.pdf) 1 dallaway 395
2.2.6 Anonymous functions, would be nice with explanation of type (MEAP V04) 1 MichelNielsen 345
1.4.2 - Total and Partial functions 3 317511 566
Ch 1 Exercise 2 2 kmeredith 519
listing 2.1 fail to compile (MEAP V04) 1 MichelNielsen 363
Wrong link in epub book, ch. 5 0 371392 370
Chapter 5 1 481
Exercises 2.5 #6 1 Jean 358
Disadvantages of dependent types 1 232883 590
Right margin cut off on page 73 0 371468 388
Some theoretical background on: whence Idris? 0 dtonnofer 554
Records not mentioned in chapter 4 - User Defined Data Types 2 Rouan van Dalen 486
Consistency nit-picks 0 371795 342
Chapter 2 Listing 1A: Running Example average 1 373383 368
Listing 3.3 2 491
Typos 2 Gary Fixler 432
A little confused by Table 1.3 Vending Machine Operations... 6 Gary Fixler 654
Pure functions have an important side-effect: Waiting 1 tuna fish 449
Running a functional programming book club 3 Fabian von Feilitzsch 596
2.5 Exercises #8 typo 0 Gary Fixler 334
Missing indefinite article in 2.2.5 Higher Order Function Types 0 Anonymous 360
Chapter 1.2.4 - Idris Version & ?greeting 2 iyerland 448
Typo in 2.1 Basic Types 0 Gary Fixler 320
Typo on 1.5.2 A Type-driven Vending Machine 0 Liam Goodacre 365
Minor confusion in 1.4.1 Purity and Referential Transparency 0 Gary Fixler 335
Typo on 1.4.2 Partial and Total Functions 0 Liam Goodacre 361
Errata 4 Vitaly Bragilevsky 700
Types as a first class construct 0 371468 447