Upload
918

Introduction to Agda

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

Loading...

to add this to Watch Later

Add to

Loading playlists...