Introductory Talk About Dependent Types and Idris

David Christiansen, ( one of the main developers of Idris ( will be giving an introductory talk about Dependent types and Idris.

Join or login to comment.

  • Ben

    I've uploaded David's talk, for anyone who missed it or who wants to go through it again:

    1 · March 29, 2014

    • Eve

      Awesome, thanks Ben.

      March 29, 2014

    • David C.

      Thank you so much for doing such a great job clipping it together and making it readable!

      March 29, 2014

  • Geoff M.

    Thanks again to David for his very interesting presentation. I have video and audio, unfortunately the right side is cut off on the first part, which isn't too bad, and the camera didn't record the last 25 minutes of the first part, but I have separate audio for each part, so we have the audio. I am putting the files (10gb) on Google Drive but not making them public, message me if you want them. Also someone, probably Ben is going to put them together as a single smaller file which will be public.

    March 27, 2014

11 went

Our Sponsors

People in this
Meetup are also in:

Create your own Meetup Group

Get started Learn more

I'm surpris ed by the level of growth I've seen since becoming an organizer, it's given me more confidence in my abilities.

Katie, started NYC ICO

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