Topic Answers Author Views
Errata in Type-Driven Development with Idris 13 Susan Harkins 334
Typo in Listing 7.6 0 Alex Gryzlov 32
The final epub version of the book is set worse than MEAPv13 1 456581 65
Implicit arguments for TakeN view 6 Gleb Alexeyev 184
Section 10.3.3, defining filterKeys function, step 4, case-split produce "impossible" case 0 Ilya Yanok 33
Stacktrace in Atom w. idris-language when pressing alt+crtl+a 1 Hargreaves 30
Section 9.1.3 steps 6-7 are a bit misleading 0 Ilya Yanok 24
Ex 8.3.1 Unneeded constraints 0 Ilya Yanok 24
Listing 6.8 | unexplained "case" expression 0 jreut 34
Chapter 2 Exercise 7 3 Ozan Erdem 393
minor correction in section 13.1.1 (page 354) 0 maczniak 64
Ex.10.3.4: Error 'b is not an accessible pattern variable' when using a view for abstract data type 2 Gleb Alexeyev 96
minor correction in section 5.1.1 (page 149) 1 maczniak 88
V13 P280 fonts 0 zilinc 52
Typo on page 90 of the PDF 0 Calvin Beck 104
Syntax Highlighting! 0 409290 156
The scope and depth of this book 2 zilinc 294
Implicit Argument in 6.3.4 0 Gilbert 98
Behaviour change for Force/Delay in Idris 0.99? (Section 11.1.4, MEAP v13) 1 371392 147
Question about exercise 2, section 10.3.4 1 45417 172
Type variable name changes in section 11.1.4 (MEAP v13) 0 371392 61
Section 13.1.1, Listing 13.1, page 434 (V13) 0 434569 85
Section 12.3.3, Listing 12.23 and 12.24 (V13) 0 434569 72
interfaces and implementations (chapter 7) 0 Allan J Cooper 135
record declaration 0 Allan J Cooper 87
Tuple flattening 2 xoltar 228
SIDEBAR Colors in the REPL 0 Allan J Cooper 78
Page 122: Question regarding the "Asserting that inputs are impossible" section 1 392661 126
Possible typo in section 8.6.2 (v13) 1 371392 105
Section 5.1 "IO in Haskell and Idris" 1 Sgeo 174
Error with skeleton code for exercise 8.2.6.2 1 371392 94
Section 15.1.2, p 499 in version 13, Listing 15.1, spawn does not return Maybe PID 2 419593 187
Section 10.3.4, p 322 in version 12, The provides solution raises questions. 2 419593 193
Section 11.3.4, p362 in version 12, No solutions to exercises 2 and 3 source zip file. 0 419593 88
Version 12. non-existing section (11.44.*) referenced. 0 419593 91
Section 11.3.4, p362 in version 12, unable to find referenced section 11.46.2 0 419593 75
Section 11.1.7, p341 in version 12, Typo. 0 419593 70
Section 10.3.2, p 318 in version 12, listing shows 2 function I.s.o three. 0 419593 77
Section 10.2.4, p 312 in version 12, typo in “NOTE: The Lazy Generic Type” 0 419593 68
Section 10.2.2, p 309 in version 12, “Snoc rec” applied to too many argument 0 419593 86
Version 12. non-existing section (7.30.2) referenced. 0 419593 93
Section 6.3.7, p 202 in version 12, (Just x) next = Just (next x) 0 419593 87
Section 6.3.5, p 194 in version 12, mention that parseBySchema must not inlcude schema 1 419593 109
Section 6.1.3, p 173 in version 12, typo underscode 0 419593 80
Section 4.3.1, p 127 in version 12, Listing 4.16 pattern can’t match addToStore items 0 419593 87
Section 3.3.3, p 88 in version 12, exercise 3 is referencing non-excising section 3.14.1 0 419593 87
Section 9.1 1 Marc Petit-Huguenin 133
Chapter 15 Type-Safe Concurrent Programming 0 Hans-J. Schmid 144
Listing 5.7: The "usleep 1000000" call is a no-op on (at least) Windows x64 0 196641 128
Vending machine 1 283442 118
Update v12 0 Hans-J. Schmid 130
Chapter 12 - Monad Transformers 1 Hans-J. Schmid 199
Outlook/Overview 1 Hans-J. Schmid 158
10.1.5 Example: Merge Sort 2 Hans-J. Schmid 178
Exercise 10.3.4.2. patterns (MEAP v10) 2 Eric B 268
8.1.6 Must the = type be built-in? 5 steshaw 270
Listing 10.1 ListLast 4 steshaw 203
7.3.2 calculation via foldl 1 steshaw 152
chapter 9, section 9.2.4, p 286 (book version 10), typo in the note "Types as Abstract State" 1 Andreas Reuleaux 156
chapter 8, section 8.1.3 (Testing Equality of NatS), page 248 (book version 10): eq, not rec_eq 1 Andreas Reuleaux 158
Ex 8.2.6.1 my_plusCommutes 5 steshaw 186
Exercise 9.1.6.2 — stuck on isLast 0 steshaw 142
7.3.2 Foldable implementation 0 steshaw 125
chapter 7, beginning of section 7.1.3, p 212 (book version 9) 1 Andreas Reuleaux 159
cong 1 xoltar 191
listing 4.19 in chapter 4, p 135 (book version 9) 1 Andreas Reuleaux 151
general remark: IO examples seen so far at the end of chapter 6 (book v 9) 1 Andreas Reuleaux 166
chapter 5 (page numbers for version 9) 1 Andreas Reuleaux 148
chapter 3, section 3.2.1, p 75 in version 9, on the top: (x::xs) / (word:words) 1 Andreas Reuleaux 168
surprising behavior in listing 2.1 1 207527 163
Type Provider 1 Hans-J. Schmid 234
Position of cursor is important when using 'ctrl-alt-a' 1 bobgus 237
"can we be more.." should perhaps be: "we can be more.." 1 bobgus 181
Ambiguous length/s in caption of Fig 3.2 0 bobgus 141
Need a bit more detail on using Vim and Atom as enhanced editors for Idris 6 bobgus 324
2.2.1 `double x = x * 2` Expression Substitution Explanation is Wrong 3 372148 402
Ex 10.1.6 2 iv 208
9.1.3 Misleading instruction? 1 Hugues Chabot 245
Error in Chapter 3 wordlen_vec.idr 0 413346 170
Listing 4.15 9 286919 623
9.1.6 exercise crucial error! 1 389710 237
warning about using refinement features while executing program in REPL 0 MichelNielsen 320
6.1.3 Sidebar Totality and Type Level Functions 1 Andre Dublin 252
Version 7 remarks 1 230
Errata: double x = x * x 1 339765 176
Typo page 179 v6 0 Andre Dublin 197
Corrupt PDF? 0 249055 209
Dependent Types and Compile Time Types 2 Adi Shavit 489
String -> Nat 3 kmeredith 479
Items function in 6.3.2 1 3354 254
Listing 1.5 missing type definition for Machine (pdf ver 06 page 24) 0 392101 213
Exercise 3.3.3 0 Andre Dublin 307
typo in example under 5.3.2 1 Thomas Dziedzic 303
typo in example under 5.3.7 1 Thomas Dziedzic 269
3.3.2 Transposing a Matrix, step 7 1 dallaway 366
Module systems, package managers, and all that 1 Brian Rogoff 325
Error/Typo - page 8 1 183446 253
Indentation query, p. 99 v4_MEAP.pdf 1 dallaway 219
import Data.Fin (4.2.3, p. 116 of v4_MEAP.pdf) 1 dallaway 282
2.2.6 Anonymous functions, would be nice with explanation of type (MEAP V04) 1 MichelNielsen 214