home
support
contact us
Register
Login
Forum Index
»
Type-Driven Development with Idris
»
Advanced search
Type variable name changes in section 11.1.4 (MEAP v13)
371392
(9)
Offline
Jan 5, 2017 @ 8:57 AM
#1
In section 11.1.4, we're implementing the function
getPrefix : (count : Nat) -> InfList ty -> List ty
.
A (very) minor nitpick: the type variable changes from
ty
to
a
when showing the implementation below.
“„
Reply to this topic