Adam Chlipala has 1 video available on Confreaks.TV. Their most popular video is Ur which has been viewed 1,380 times since it was posted on 09/21/2010.
Ur at Emerging Languages Camp 2010 1,380 total views