None

David Christiansen Live Stream

1:33:25

Noam Zeilberger Lecture 4, OPLSS 2016

1:42:56

Amal Ahmed Lecture 3, OPLSS 2016

1:07:32

Aleks Nanevski Lecture 4, OPLSS 2016

1:37:25

Amal Ahmed Lecture 4, OPLSS 2016

1:23:55

Aleks Nanevski Lecture 2, OPLSS 2016

1:16:57

Aleks Nanevski Lecture 3, OPLSS 2016

1:42:42

Noam Zeilberger Lecture 3, OPLSS 2016

1:29:47

Noam Zeilberger Lecture 2, OPLSS 2016

1:40:58

Amal Ahmed Lecture 2, OPLSS 2016

1:20:51

Jan Hoffmann Lecture 3, OPLSS 2016

1:32:28

Amal Ahmed Lecture 1, OPLSS 2016

1:26:55

Aleks Nanevski Lecture 1, OPLSS 2016

1:02:18

Patricia Johann Lecture 4, OPLSS 2016

1:37:56

Noam Zeilberger Lecture 1, OPLSS 2016

1:20:11

Jan Hoffmann Lecture 4, OPLSS 2016

1:28:58

Jan Hoffmann Lecture 2, OPLSS 2016

1:32:37

Nate Foster Lecture 1, OPLSS 2016

1:20:45

Dan Licata Lecture 8, OPLSS 2016

1:30:17

Nate Foster Lecture 4, OPLSS 2016

1:27:48

Nate Foster Lecture 2, OPLSS 2016

1:24:39

Jan Hoffmann Lecture 1, OPLSS 2016

1:16:07

Nate Foster Lecture 3, OPLSS 2016

1:23:22

Ed Morehouse Lecture 1, OPLSS 2016

1:20:49

Dan Licata Lecture 2, OPLSS 2016

1:13:05

Patricia Johann Lecture 3, OPLSS 2016

1:04:34

Patricia Johann Lecture 2, OPLSS 2016

1:16:57

Robert Harper Lecture 6, OPLSS 2016

1:24:51

Ed Morehouse Lecture 4, OPLSS 2016

1:26:16

Robert Harper Lecture 7, OPLSS 2016

1:24:12

Dan Licata Lecture 4, OPLSS 2016

1:13:51

Dan Licata Lecture 5, OPLSS 2016

1:20:17

Ed Morehouse Lecture 2, OPLSS 2016

1:19:25

Ed Morehouse Lecture 3, OPLSS 2016

1:23:41

Robert Harper Lecture 1, OPLSS 2016

1:24:16

Robert Harper Lecture 3, OPLSS 2016

1:10:24

Patricia Johann Lecture 1, OPLSS 2016

1:44:00

Ed Morehouse Lecture 5 - OPLSS 2015

1:24:10

Ed Morehouse Lecture 4 - OPLSS 2015

1:21:30

Ed Morehouse Lecture 1 - OPLSS 2015

1:18:37

Ed Morehouse Lecture 2 - OPLSS 2015

1:32:09

Ed Morehouse Lecture 3 - OPLSS 2015

1:34:19

Robert Harper Lecture 3, OPLSS 2015

1:51:43

Robert Harper Lecture 5, OPLSS 2015

1:49:11

Robert Harper Lecture 4, OPLSS 2015

1:27:45

Frank Pfenning Lecture 2 - OPLSS 2015

1:20:20

Frank Pfenning Lecture 1 - OPLSS 2015

1:26:02

Frank Pfenning Lecture 3 - OPLSS 2015

1:23:10

Frank Pfenning Lecture 4 - OPLSS 2015

1:27:39

Frank Pfenning Lecture 5 - OPLSS 2015

1:32:56

Amal Ahmed Lecture 2 - OPLSS 2015

1:27:29

Amal Ahmed Lecture 3 - OPLSS 2015

1:44:59

Amal Ahmed Lecture 5 - OPLSS 2015

1:32:04

Amal Ahmed Lecture 1 - OPLSS 2015

1:22:34

Peter Dybjer Lecture 2 - OPLSS 2015

1:21:41

Peter Dybjer Lecture 3 - OPLSS 2015

1:19:00

Peter Dybjer Lecture 4 - OPLSS 2015

1:21:06

Peter Dybjer Lecture 5 - OPLSS 2015

1:25:57

Amal Ahmed Lecture 4 - OPLSS 2015

1:18:22

Peter Dybjer Lecture 1 - OPLSS 2015

1:30:51

Robert Constable Lecture 2, OPLSS 2015

1:22:39

Mark Bickford Lecture 2, OPLSS 2015

1:57:57

Mark Bickford Lecture 1, OPLSS 2015

1:32:02

Robert Harper Lecture 2, OPLSS 2015

1:07:44

Robert Harper Lecture 1, OPLSS 2015

1:22:19

Adam Chlipala Lecture 6, OPLSS 2015

1:23:36

Adam Chlipala Lecture 5, OPLSS 2015

1:20:44

Adam Chlipala Lecture 4, OPLSS 2015

1:05:31

Robert Constable Lecture 1, OPLSS 2015

1:20:50

Adam Chlipala Lecture 3, OPLSS 2015

1:27:46

Adam Chlipala Lecture 2, OPLSS 2015

1:25:15

Adam Chlipala Lecture 1, OPLSS 2015

4:24

A helm-idris demo

13:01

The Parity example from the tutorial, shown interactively

8:36

Using proofs in Idris, part 1

4:38

Working with output in idris-mode for Emacs

16:47

Showing that something is an element of a list in idris-mode

8:46

Introduction to proving in Idris

2:00

Idris mode: how to run your programs