| Title | Author | When | Language | Channel |
|---|---|---|---|---|
| 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 |
| Bug | Twey | 2013-05-25 12:30:29 UTC | JavaScript | - |
| agen sbobet | agen bola | agen sbobet | agen bola | 2013-05-25 12:22:41 UTC | Haskell | #python |
| agen bola | agen sbobet | agen bola | agen sbobet | 2013-05-25 12:16:37 UTC | Haskell | #javascript |