About
Different exercises, snippets, etc.
Languages
Language:Haskell 46.7%Language:Agda 16.6%Language:Haxe 8.2%Language:C 8.2%Language:Java 5.8%Language:Erlang 5.1%Language:Shell 2.2%Language:Scala 2.0%Language:Prolog 1.1%Language:Idris 1.1%Language:Coq 1.1%Language:Python 1.1%Language:C++ 0.7%Language:Thrift 0.2%