In this episode Jesper Cockx, one of the main Agda developers, is interviews by Niki Vazou and Matthias Pall. They talk about how to explain dependent types to one’s father, how Agda’s automation and proof search work, and how Agda can be used to verify Haskell code bases.
Watch Simon Peyton Jones announce the Haskell Foundation at the Haskell eXchange conference on November 4, 2020.
In this keynote, Simon talks about the Haskell Foundation's launch and its goals. At the end, he is joined by a panel of HF volunteers to take questions from the audience.
Haskell embodies a radical and elegant attack on the entire enterprise of writing software. It profoundly influences the world of software for the better.
Ideas that guide our every decision
Haskell’s design puts principle ahead of expediency by cleaving closely to the principles of purely functional programming.
All Haskell Foundation efforts are open source.
HF augments, celebrates, and coordinates the contributions and leadership of Haskell’s vibrant community.
For many, Haskell is more a way of life than a programming language. All are welcome, all can contribute. To this end we have adopted the Haskell Guidelines For Respectful Communication.
All technical decisions related to HF’s open source projects are proposed and debated in public.
The Haskell Foundation category in the Haskell Discourse is where we make official announcements, and have discussions with the community.
Official communication channel for HF Board members, the archive is publicly available.