| Title | Author | When | Language | Channel |
|---|---|---|---|---|
| ghc -ddump-simpl | dmwit | 2013-05-25 23:50:20 UTC | Haskell | #haskell |
| xml templates | danharaj | 2013-05-25 23:49:33 UTC | Haskell | - |
| haskell tic-tac-toe | Anonymous Coward | 2013-05-25 23:07:42 UTC | Haskell | - |
| matching types | int80_h | 2013-05-25 22:01:24 UTC | Haskell | #haskell |
| dependent matching | Jason Gross | 2013-05-25 21:57:38 UTC | Agda (via Haskell) | - |
| dependent matching | Jason Gross | 2013-05-25 21:55:55 UTC | Agda (via Haskell) | - |
| THE HORROR | noteventime | 2013-05-25 21:42:59 UTC | C++ | - |
| Cossin | Salamander | 2013-05-25 21:38:48 UTC | Haskell | - |
| 45.json | Salamander | 2013-05-25 21:29:30 UTC | Java | - |
| Terminality of () | ihm1 | 2013-05-25 20:21:06 UTC | Idris | #idris |
| segfaulting | beaky | 2013-05-25 18:30:26 UTC | Haskell | #haskell |
| ocaml | Feuerbach | 2013-05-25 18:26:14 UTC | OCaml | - |
| dependent matching | Jason Gross | 2013-05-25 18:25:15 UTC | Agda (via Haskell) | - |
| make Map a Functor instance | paullik | 2013-05-25 18:17:51 UTC | Haskell | #haskell |
| foldbys | glguy | 2013-05-25 18:06:53 UTC | Haskell | #haskell-lens |
| Adventures with Indexing | barrucadu | 2013-05-25 16:58:32 UTC | Haskell | - |
| ... | int-e | 2013-05-25 16:18:09 UTC | Haskell | - |
| getcomputername | Anonymous Coward | 2013-05-25 14:47:38 UTC | Haskell | #haskell |
| game of life | G. Khomeriki | 2013-05-25 14:28:55 UTC | Haskell | - |
| inelegant code | beaky | 2013-05-25 14:04:15 UTC | Haskell | #haskell |