Lukas E.

Location:

München

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?

No.

Introduction

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


No Photo

Member of 1 other Meetup

Interests

  • 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