BrownFurSeal's repositories
scala-foursquare-api
Scala wrapper for foursquare API - see README for details on how to get started
yet-another-coq
Yet another Coq playground
brownfurseal.github.com
home page
Scala wrapper for foursquare API - see README for details on how to get started
Yet another Coq playground
home page