Upload
431

Subscription preferences

Loading...

Loading icon Loading...

Working...

Edward Kmett

Introduction to Agda

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

Loading icon Loading...

Sign in to YouTube

Sign in to YouTube

Loading...
Working...
Sign in to add this to Watch Later

Add to