
1:14:53
A Walk-through of Computational Reflection in Coq - Boston Haskell Meetup
7 years ago
477 views