Lukas E.



Member since:

August 4, 2013

What's your familiarity with Functional Programming?

Passing knowledge of OCaml and Haskell.

Which languages / technologies are most interesting for you?

Haskell, provable programs (Liquid Haskell, Idris, Agda)

Would you be interested to speak on one of the meetups?



I'm a compsci student interested in correctness-driven software development.

No Photo

Member of 1 other Meetup


  • Not yet added

Our Sponsors

People in this
Meetup are also in:

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy