addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobegmailgooglegroupsimageimagesinstagramlinklocation-pinm-swarmSearchmailmessagesminusmoremuplabelShape 3 + Rectangle 1outlookpersonJoin Group on CardStartprice-ribbonImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruseryahoo

Augusto P.

Location:

Amsterdam

Member since:

November 29, 2012

What (functional) programming languages do you use?

Haskell, Coq

What kind of stuff do you build (e.g. web, embedded, mobile, financial services, etc.)?

No answer yet

What is the name of your company or organization?

No answer yet

Introduction

Haskell enthusiast and student at Utrecht University.


Member of

Interests

  • Not yet added

Our Sponsors

  • TruQu

    Location, drinks & general support

  • B. Amsterdam

    Location

  • O'Reilly

    40% discount on printed books and 50% on e-books, code: DSUG.

  • Q42

    Location & Drinks

  • Silk

    Location & Drinks

  • Trifork

    Location, food & drinks

  • TTY

    Location & Drinks

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