Newest at the top
| 2025-01-15 21:56:00 +0100 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2025-01-15 21:54:39 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 21:54:20 +0100 | euleritian | (~euleritia@dynamic-176-006-134-015.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-15 21:44:21 +0100 | lbseale | (~quassel@user/ep1ctetus) (Ping timeout: 246 seconds) |
| 2025-01-15 21:40:08 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de) acidjnk |
| 2025-01-15 21:35:24 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-01-15 21:35:17 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
| 2025-01-15 21:32:03 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-01-15 21:28:40 +0100 | alp | (~alp@2001:861:8ca0:4940:aeb3:d03c:ec66:af5f) |
| 2025-01-15 21:28:39 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 2025-01-15 21:24:31 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) __ |
| 2025-01-15 21:23:12 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) (Quit: No Ping reply in 180 seconds.) |
| 2025-01-15 21:21:40 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-15 21:18:18 +0100 | Midjak | (~MarciZ@82.66.147.146) Midjak |
| 2025-01-15 21:17:54 +0100 | jespada | (~jespada@2800:a4:82:800:905f:a49c:670c:2c45) jespada |
| 2025-01-15 21:13:11 +0100 | jespada | (~jespada@2800:a4:67:9400:a4bd:2d29:5c07:29b1) (Ping timeout: 244 seconds) |
| 2025-01-15 21:07:16 +0100 | agent314 | (~quassel@37.19.210.25) agent314 |
| 2025-01-15 21:06:59 +0100 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2025-01-15 21:00:42 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-15 21:00:02 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-15 20:59:13 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-01-15 20:55:59 +0100 | alp | (~alp@2001:861:8ca0:4940:f488:aeda:6595:5b38) (Ping timeout: 252 seconds) |
| 2025-01-15 20:51:24 +0100 | alp | (~alp@2001:861:8ca0:4940:f488:aeda:6595:5b38) |
| 2025-01-15 20:50:21 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-15 20:49:45 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-15 20:48:43 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-15 20:36:42 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-01-15 20:30:50 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-01-15 20:30:25 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-01-15 20:29:59 +0100 | Typedfern | (~Typedfern@104.red-83-37-43.dynamicip.rima-tde.net) typedfern |
| 2025-01-15 20:29:02 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-15 20:25:29 +0100 | akegalj | (~akegalj@142-231.dsl.iskon.hr) (Quit: leaving) |
| 2025-01-15 20:24:43 +0100 | lbseale | (~quassel@user/ep1ctetus) (Ping timeout: 264 seconds) |
| 2025-01-15 20:15:59 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de) |
| 2025-01-15 20:15:25 +0100 | <yahb2> | <bye> |
| 2025-01-15 20:15:25 +0100 | <tomsmeding> | % :q |
| 2025-01-15 20:15:19 +0100 | <tomsmeding> | nah that ain't gonna work |
| 2025-01-15 20:15:05 +0100 | <tomsmeding> | oh hm |
| 2025-01-15 20:14:48 +0100 | Typedfern | (~Typedfern@85.red-83-37-40.dynamicip.rima-tde.net) (Ping timeout: 265 seconds) |
| 2025-01-15 20:14:40 +0100 | <yahb2> | <interactive>:51:33: error: [GHC-83865] ; • Couldn't match expected type: [a0] ; with actual type: NonEmpty a1 ; • In the pattern: n :| l ; In a case alternative: n ... |
| 2025-01-15 20:14:40 +0100 | <tomsmeding> | % case 1 :O of { n :O -> show n ; n :| l -> show (n, l) } |
| 2025-01-15 20:14:09 +0100 | <yahb2> | <no output> |
| 2025-01-15 20:14:09 +0100 | <tomsmeding> | % import Data.List.NonEmpty (NonEmpty(..)) |
| 2025-01-15 20:13:50 +0100 | <yahb2> | <no output> |
| 2025-01-15 20:13:50 +0100 | <tomsmeding> | % pattern O :: [a] ; pattern O = [] |
| 2025-01-15 20:13:46 +0100 | <tomsmeding> | oh |
| 2025-01-15 20:13:42 +0100 | <tomsmeding> | lol it's right there? |
| 2025-01-15 20:13:34 +0100 | <yahb2> | <interactive>:45:9: error: [GHC-44432] ; The pattern synonym signature for ‘O’ lacks an accompanying binding ; ; <interactive>:45:20: error: [GHC-76037] ; Not in scope: data constructor ‘O’ |
| 2025-01-15 20:13:34 +0100 | <tomsmeding> | % pattern O :: [a] ; O = [] |
| 2025-01-15 20:13:28 +0100 | <yahb2> | <no output> |