Build Your Own Proof Assistant
Please log in to watch this conference skillscast.
Join us at the Haskell eXchange in 2016!
Want to learn about the latest innovations in Haskell? Join 200+ Haskell and functional programmers to learn and share skills with some of the world's top Haskell experts at the Haskell eXchange 2016 in London. Find out all about Haskell's infrastructure roadmap, learn how Haskell is used in academia and enterprise and discover how Haskell is changing the way our industry tackles complex engineering problems. Early bird tickets already available!
YOU MAY ALSO LIKE:
Thank you to our sponsors and partners
Platinum
Gold
Silver
Build Your Own Proof Assistant
Mietek Bak
Miëtek Bak is a functional programmer, author of Halcyon and Haskell on Heroku, and founder at Least Fixed in Cambridge. He fell in love with formal languages at University of Wrocław, where students are expected to fall in love with formal languages. Since then, he’s worked in a professional capacity with Erlang, OCaml, and Haskell.