| Title | Author | When | Language | Channel |
|---|---|---|---|---|
| Why Does this happen? | mischov | 2013-06-19 21:57:25 UTC | Haskell | #haskell |
| Fixed-point | scooty-puff | 2013-06-19 21:50:31 UTC | Haskell | - |
| Progress monad transformer | Patrick Hulin | 2013-06-19 21:48:19 UTC | Haskell | #haskell |
| that error | joelteon | 2013-06-19 21:39:20 UTC | - | #haskell-lens |
| Constraints? | xico | 2013-06-19 21:27:53 UTC | Haskell | - |
| poke | MrFenix | 2013-06-19 21:13:37 UTC | Idris | #idris |
| natLTETactic | MrFenix | 2013-06-19 21:12:47 UTC | Idris | #idris |
| Gtk2hs bug | Anonymous Coward | 2013-06-19 20:24:25 UTC | Haskell | - |
| lens | joelteon | 2013-06-19 17:31:57 UTC | Haskell | #haskell-lens |
| lint | Aetherspawn | 2013-06-19 16:16:31 UTC | Haskell | - |
| compiler from high level C-alike to C with low level libraries? | ClaudiusMaximus | 2013-06-19 15:58:01 UTC | C | #haskell |
| Anonymous Coward | 2013-06-19 15:18:34 UTC | Haskell | - | |
| Bencode | nabilhassein | 2013-06-19 15:02:18 UTC | Haskell | #haskell |
| test | bor0 | 2013-06-19 14:54:31 UTC | Haskell | #haskell |
| Splits | Melvar | 2013-06-19 13:04:00 UTC | Idris | #idris |
| safe head/tail | cutsea110 | 2013-06-19 12:41:30 UTC | Haskell | #haskell |
| safe head/tail | cutsea110 | 2013-06-19 12:32:52 UTC | Agda (via Haskell) | #agda |
| GADTs and pattern matching | bitonic | 2013-06-19 09:41:24 UTC | Haskell | #haskell |
| 8 queens | Andrea | 2013-06-19 08:49:40 UTC | Haskell | #haskell |
| TH | b6 | 2013-06-19 08:31:12 UTC | Haskell | - |