I was also curious if he taught his kids Haskell but it turns out they just played with Linux.