or cancel
  1. Dependently Typed Functional Programming with Idris 4

    01:11:29

    from Edwin Brady Added 586 4 0

    Screen recording of a course given at IT University, Copenhagen, March 11-15th. For more information about Idris, see http://idris-lang.org Sorry for the low sound quality - this is an experiment…

    + More details
    • Dependently Typed Functional Programming with Idris 3

      59:22

      from Edwin Brady Added 947 6 0

      Screen recording of a course given at IT University, Copenhagen, March 11-15th. For more information about Idris, see http://idris-lang.org Sorry for the low sound quality - this is an experiment…

      + More details
      • Dependently Typed Functional Programming with Idris 1

        01:11:18

        from Edwin Brady Added 3,415 17 0

        Screen recording of a course given at IT University, Copenhagen, March 11-15th. For more information about Idris, see http://idris-lang.org Sorry for the low sound quality - this is an experiment…

        + More details

        Browse Videos

        Videos Edwin Brady

        Here are all of the videos that Edwin Brady has uploaded to Vimeo. Appearances are videos that Edwin Brady has been credited in by others.

        Also Check Out