We’re using functional programming to set up the infrastructure that we use from day to day.
That infrastructure is predominantly based on the NixOS operating system.
We run courses to help people get into functional programming.
The course material is open-source and available at https://github.com/data61/fp-course
We’re preparing educational materials about the
reflex library, and using it to see what exciting things we can do with FRP.
Principled tooling for working with existing programming languages using Haskell