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

Course on Programming with Idris: Videos/Slides

Posted on March 18, 2013 by admin

Edwin Brady has given a course on Dependently Typed Functional Programming in Idris at IT University, Copenhagen. Various course materials are now available:

  • Lecture 1, Introduction, slides, video
  • Lecture 2, Embedded DSLs, slides, video
  • Lecture 3, Effect management, slides, video
  • Lecture 4, Implementing Idris, slides, video
  • Example code
  • Exercises
This entry was posted in Tutorials. Bookmark the permalink.

Post navigation

← Idris 0.9.7 released
Idris 0.9.8 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.