Haskell Talks and Hangout at Formation
Details
Come enjoy some Haskell talks and hangout, hosted by Formation (formally known as Takt)!
We will be having two talks. The first will be a live coding demo given by Gabriel Gonzalez of writing and deploying a simple CI server in Haskell. The second will be a brief presentation from Sergei Winitzki about using the Curry-Howard isomorphism for practical auto-generation of code from types.
Feel free to bring your laptops to follow along.
Doors open at 6.
Talks start at 6:30.
We will have beer, soda and pizza for everyone!
We would also like to mention that Formation is hosting the BayHac Haskell hackathon next month (April 27th-29th). The call for proposals is still open, so feel free to propose a talk/hacking session. They are also looking for volunteers to help with various organizational/setup tasks. See the link below for more details.
Haskell Talks and Hangout at Formation