Upload
717

Edward Kmett

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...