FP-BUD Presentation Night - Program Construction using Agda

  • May 11, 2011 · 8:00 PM
  • IntelliFactory Office


Our course on Agda continues, more details will follow shortly.


Join or login to comment.

  • Gergo E.

    Great presentation, very enlightening!

    May 12, 2011

People in this
Meetup are also in:

Create a Meetup Group and meet new people

Get started Learn more

I started the group because there wasn't any other type of group like this. I've met some great folks in the group who have become close friends and have also met some amazing business owners.

Bill, started New York City Gay Craft Beer Lovers

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