Upload
517

Subscription preferences

Loading...

Loading icon Loading...

Working...

Edward Kmett

Edward Kmett on Hask

2,604 views 2 weeks ago
This talk was given at Boston Haskell on Wednesday, July 16th, 2014 at Akamai in Cambridge, MA.

Code: http://github.com/ekmett/hask

The topic is "Hask" a library for exploring category theory in Haskell through "kind-indexed" categories.
Show less
Read more

Introduction to Agda Play

Daniel Peebles' Talk from the January Boston Haskell session at MIT
Loading...
Working...
to add this to Watch Later

Add to