02:27:42  <planet_ocaml> prove functionality and associativity of plus: m testsuite/tests/typing-gadts/omega07.ml.principal.reference m t... http://t.co/hlPgzEZ1   | 206209967152300033
05:30:21  <igorgue> Scala, Groovy, CoffeeScript, Clojure, F#, Haskell, Erlang, OCaml, Go are growing in Tiobe the same way Ruby and Python did years ago!   | 206255934811545600
18:43:46  <yrysuramy> Practical OCaml (Hardcover): Objective Caml (OCaml) is an open sourced programming language that allows a progra... http://t.co/wLU49Zyv   | 206455604263403520
23:18:05  <planet_ocaml> Tool Demo: Scala-Virtualized: Tool Demo: Scala-Virtualized This paper describes Scala-Virtualized, which extend... http://t.co/2Ca45VNn   | 206524640418476032