YouTube

2 likes, 0 dislikes

13:05

1

Introduction to Agda [1/5]

by Edward Kmett 3,523 views
12:55

2

Introduction to Agda [2/5]

by Edward Kmett 1,272 views
14:24

3

Introduction to Agda [3/5]

by Edward Kmett 722 views
11:15

4

Introduction to Agda [4/5]

by Edward Kmett 536 views
13:08

5

Introduction to Agda [5/5]

by Edward Kmett 479 views

Daniel Peebles' Talk from the January Boston Haskell session at MIT

About Edward Kmett

7 playlists by Edward Kmett View all videos

28,649 views

220

Featured Playlists

31 videos Play all

Uploaded videos

5 videos Play all

Lenses: A Functional Imperative

2 videos Play all

Probability Smoothing

5 videos Play all

DSLs in Scala

5 videos Play all

Categorical Databases

Loading...

Working...