http://code.google.com/p/caliper
https://github.com/nelhage/reptyr
sudo apt-get install libgmp3c2
http://hackage.haskell.org/package/ekg
http://mth.io/talks/haskell-in-production/#/5
http://www.reddit.com/r/haskell/comments/1f48dc/what_does_the_haskell_runtime_look_like/
http://www.haskell.org/haskellwiki/GHC/GHCi
https://www.reddit.com/r/haskell/comments/4fqoke/thoughts_on_using_as_syntactic_sugar_for/d2bc8dg
http://twitter.github.io/bootstrap/
http://mobile.smashingmagazine.com/2013/03/31/getting-started-jquery-mobile/
https://github.com/ohpauleez/shoreleave
http://www.kurup.org/blog/2011/11/12/clojurescript-and-phonegap/
https://github.com/pangloss/clang
http://squirrel.pl/blog/2012/11/23/using-angular-js-with-clojurescript/
http://elm-lang.org/learn/Escape-from-Callback-Hell.elm
https://github.com/faylang/fay/wiki
http://weblog.luite.com/wordpress/?p=14&date=2013-06-03
http://ecee.colorado.edu/~siek/gradualtyping.html
http://www.iis.sinica.edu.tw/~scm/pub/aopa.pdf
http://twanvl.nl/blog/agda/sorting
David Sankel: The Intellectual Ascent to Agda Dependent types, c++ templates, denotational design
http://jeroenjanssens.com/2013/08/16/quickly-navigate-your-filesystem-from-the-command-line.html
http://www.fitocracy.com/knowledge/the-hormonal-reset/ http://www.t-nation.com/free_online_article/sports_body_training_performance/how_to_build_pure_strength