Bob Harper comments on "Haskell for Coq programmers"

Embed

Like
Share

Share

Facebook
Google+