Idris

A Language with Dependent Types

Menu

Skip to content
  • Home
  • News
  • Example
  • Documentation
    • Effects
    • Packages
    • Community Standards
    • Workshops
      • Kats Workshop, May 2016
      • MGS 2018 Course Materials
      • OPLSS 2017 Course Materials
  • Contributions
  • Download

Idris: Programming with Dependent Types at CodeMesh 2013

Posted on February 2, 2014 by admin

Edwin Brady gave a talk on programming with dependent types in Idris at CodeMesh 2013 in December 2013. You can now see a video of the talk.

This entry was posted in Uncategorized. Bookmark the permalink.

Post navigation

← Idris 0.9.10 released
Idris 0.9.11.1 released →

Recent Posts

  • Idris 1.3.2 Released
  • Idris 1.3.1 released
  • Idris 1.3.0 released
  • Idris 1.2.0 released
  • Idris 1.1.1 released

Meta

  • Log in
  • Entries RSS
  • Comments RSS
  • WordPress.org
Proudly powered by WordPress | Theme: Able by Automattic.