Is there any interest in trying to finish out the Lean book by
discussing chapters 9 and 10 at 7:30 this Thursday?. I know we're all
excited about the Haskell book, but we *should* finish this book
first!
Like the last time we did a make-up meeting, if I get at least 2 firm
yeas (other than myself), I'll call it confirmed.