#HaskellFoundation #Podcast
> Episode 2: Lennart Augustsson
> The guest in our second episode is #LennartAugustsson. The hosts are #WouterSwierstra and #NikiVazou. We talk about Lennart's long history with #Haskell, about the various jobs he has had, all the #compilers he has written, and about #DependentTypes.
https://haskell.foundation/podcast/2/transcript/
#dependenttypes #compilers #haskell #NikiVazou #WouterSwierstra #LennartAugustsson #podcast #HaskellFoundation
#SimonPeytonJones: #Haskell #Foundation Executive Director and Chief Technology Officer
> the #HaskellFoundation Interim Board has appointed
> * #AndrewBoardman as Executive Director
> * #EmilyPillmore as #CTO
> [...]
> at its first meeting the #Board elected #RichardEisenberg as its #chair, so you will be hearing more from him too
https://mail.haskell.org/pipermail/hf-announce/2021-February/000005.html
#chair #RichardEisenberg #board #cto #EmilyPillmore #AndrewBoardman #HaskellFoundation #foundation #haskell #simonpeytonjones
#Haskell
Announcing the #HaskellFoundation #Board
https://discourse.haskell.org/t/announcing-the-haskell-foundation-board/1811
#board #HaskellFoundation #haskell