Logs: liberachat/#haskell
| 2021-06-16 14:56:51 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
| 2021-06-16 14:57:05 | → | xff0x joins (~xff0x@2001:1a81:5295:df00:2126:2024:49d7:8359) |
| 2021-06-16 15:00:53 | <shapr> | janus: hasktags or other tags creator? |
| 2021-06-16 15:01:08 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-06-16 15:01:13 | <janus> | shapr: oh i never tried that, can you recommend one? |
| 2021-06-16 15:01:31 | <shapr> | I use hasktags, but I'm just trying haskdogs for the first time. |
| 2021-06-16 15:01:40 | <janus> | i like dogs |
| 2021-06-16 15:01:45 | <shapr> | it takes much longer, so I don't know about it yet :-) |
| 2021-06-16 15:02:20 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-16 15:02:23 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 2021-06-16 15:05:34 | → | jakzale joins (uid499518@id-499518.charlton.irccloud.com) |
| 2021-06-16 15:06:25 | → | timthelion joins (~timothy@1.105.241.94.client.nordic.tel) |
| 2021-06-16 15:07:21 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 268 seconds) |
| 2021-06-16 15:07:28 | → | maroloccio joins (~marolocci@200.243.99.194) |
| 2021-06-16 15:09:56 | × | radw quits (~radw@user/radw) (Ping timeout: 268 seconds) |
| 2021-06-16 15:10:11 | × | maroloccio quits (~marolocci@200.243.99.194) (Quit: Client closed) |
| 2021-06-16 15:12:38 | allbery_b | is now known as geekosaur |
| 2021-06-16 15:12:40 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-16 15:13:44 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:ed0d:2957:ac:2a7) (Quit: WeeChat 2.8) |
| 2021-06-16 15:15:44 | → | yd502 joins (~yd502@223.104.212.37) |
| 2021-06-16 15:19:11 | × | Guest710 quits (~pera@70.red-88-14-152.dynamicip.rima-tde.net) (Ping timeout: 268 seconds) |
| 2021-06-16 15:19:19 | → | pera joins (~pera@137.221.132.196) |
| 2021-06-16 15:19:29 | → | maroloccio joins (~marolocci@200.243.99.194) |
| 2021-06-16 15:19:42 | pera | is now known as Guest3991 |
| 2021-06-16 15:20:08 | → | Morrow joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-06-16 15:21:56 | × | shredder quits (~shredder@user/shredder) (Remote host closed the connection) |
| 2021-06-16 15:22:52 | → | radw joins (~radw@user/radw) |
| 2021-06-16 15:24:41 | → | shredder joins (~shredder@user/shredder) |
| 2021-06-16 15:25:23 | × | shredder quits (~shredder@user/shredder) (Max SendQ exceeded) |
| 2021-06-16 15:26:03 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-06-16 15:27:08 | → | ukari joins (~ukari@user/ukari) |
| 2021-06-16 15:30:07 | × | sbmsr quits (~pi@2600:1700:63d0:4830:7dbf:92d8:fd42:235d) (Ping timeout: 272 seconds) |
| 2021-06-16 15:30:41 | → | reumeth joins (~reumeth@user/reumeth) |
| 2021-06-16 15:31:02 | → | derelict joins (~derelict@user/derelict) |
| 2021-06-16 15:31:52 | → | warnz joins (~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7) |
| 2021-06-16 15:34:29 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-06-16 15:35:02 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-06-16 15:35:58 | → | nRitz joins (~OhHiHello@s75-159-190-222.ab.hsia.telus.net) |
| 2021-06-16 15:36:36 | ← | nRitz parts (~OhHiHello@s75-159-190-222.ab.hsia.telus.net) () |
| 2021-06-16 15:37:08 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-06-16 15:37:09 | <Philonous_> | Can't GHC generate tags for you? |
| 2021-06-16 15:38:32 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-16 15:39:07 | × | dajoer quits (~david@softbank126019120204.bbtec.net) (Quit: leaving) |
| 2021-06-16 15:39:35 | → | fluffyballoon joins (~fluffybal@pat-verona-l.epic.com) |
| 2021-06-16 15:39:48 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 244 seconds) |
| 2021-06-16 15:40:47 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-16 15:42:29 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-16 15:43:45 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-06-16 15:45:55 | × | bmo quits (~bmo@185.209.196.142) (Quit: Leaving) |
| 2021-06-16 15:47:02 | × | yd502 quits (~yd502@223.104.212.37) (Ping timeout: 244 seconds) |
| 2021-06-16 15:47:33 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 268 seconds) |
| 2021-06-16 15:47:50 | × | dhouthoo quits (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.1) |
| 2021-06-16 15:48:57 | → | fizbin joins (~fizbin@2601:8a:4080:1280:8c7e:5b3f:79d6:ec26) |
| 2021-06-16 15:49:29 | × | wonko_ quits (~wjc@62.115.229.50) (Quit: See You Space Cowboy..) |
| 2021-06-16 15:50:51 | → | sbmsr joins (~pi@2600:1700:63d0:4830:7dbf:92d8:fd42:235d) |
| 2021-06-16 15:52:22 | × | chomwitt quits (~Pitsikoko@athedsl-20549.home.otenet.gr) (Ping timeout: 268 seconds) |
| 2021-06-16 15:53:38 | × | fizbin quits (~fizbin@2601:8a:4080:1280:8c7e:5b3f:79d6:ec26) (Ping timeout: 252 seconds) |
| 2021-06-16 15:55:12 | → | LukeHoersten joins (~LukeHoers@user/lukehoersten) |
| 2021-06-16 15:55:26 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Client Quit) |
| 2021-06-16 16:02:15 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-16 16:02:43 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 2021-06-16 16:03:07 | × | nanocoaster quits (~nanocoast@p200300e127264d00f99888eaee926bf0.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2021-06-16 16:05:56 | × | dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 268 seconds) |
| 2021-06-16 16:06:07 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:cded:c7cb:4d63:a64a) (Remote host closed the connection) |
| 2021-06-16 16:07:30 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-06-16 16:11:46 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-16 16:12:52 | × | maroloccio quits (~marolocci@200.243.99.194) (Quit: Client closed) |
| 2021-06-16 16:14:35 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-16 16:14:44 | × | fluffyballoon quits (~fluffybal@pat-verona-l.epic.com) (Quit: Client closed) |
| 2021-06-16 16:14:55 | → | slack1256 joins (~slack1256@191.126.99.209) |
| 2021-06-16 16:15:06 | → | fluffyballoon joins (~fluffybal@pat-verona-l.epic.com) |
| 2021-06-16 16:15:43 | <slack1256> | I recall there was a `rightToMaybe` defined on base somewhere. Did I imagine it? |
| 2021-06-16 16:17:03 | <janus> | slack1256: there is one in `either` |
| 2021-06-16 16:18:23 | <slack1256> | Yeah, I can use `either (const Nothing) Just`. But I recall it was already defined somewhere. |
| 2021-06-16 16:18:26 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:cded:c7cb:4d63:a64a) |
| 2021-06-16 16:19:04 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 244 seconds) |
| 2021-06-16 16:19:10 | → | Bartosz joins (~textual@24.35.90.211) |
| 2021-06-16 16:21:28 | × | sbmsr quits (~pi@2600:1700:63d0:4830:7dbf:92d8:fd42:235d) (Ping timeout: 268 seconds) |
| 2021-06-16 16:25:10 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2021-06-16 16:27:11 | × | timthelion quits (~timothy@1.105.241.94.client.nordic.tel) (Ping timeout: 252 seconds) |
| 2021-06-16 16:27:30 | → | alphacath joins (~alpha@host-79-36-63-89.retail.telecomitalia.it) |
| 2021-06-16 16:28:18 | → | maroloccio joins (~marolocci@200.243.99.194) |
| 2021-06-16 16:28:21 | × | wei2912 quits (~wei2912@112.199.250.21) (Quit: Lost terminal) |
| 2021-06-16 16:29:02 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 2021-06-16 16:29:03 | × | alphacath quits (~alpha@host-79-36-63-89.retail.telecomitalia.it) (Remote host closed the connection) |
| 2021-06-16 16:30:57 | × | Morrow quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 244 seconds) |
| 2021-06-16 16:31:13 | × | pe200012_ quits (~pe200012@183.63.73.44) (Ping timeout: 268 seconds) |
| 2021-06-16 16:35:36 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:cded:c7cb:4d63:a64a) (Remote host closed the connection) |
| 2021-06-16 16:36:23 | → | haltux joins (~haltux@a89-154-181-47.cpe.netcabo.pt) |
| 2021-06-16 16:36:28 | × | maroloccio quits (~marolocci@200.243.99.194) (Quit: Client closed) |
| 2021-06-16 16:36:38 | → | Guest9 joins (~Guest9@103.250.139.6) |
| 2021-06-16 16:38:14 | → | safinaskar joins (~safinaska@109-252-90-89.nat.spd-mgts.ru) |
| 2021-06-16 16:38:19 | <safinaskar> | have unlifted types bottoms? |
| 2021-06-16 16:38:31 | <lyxia> | no |
| 2021-06-16 16:39:19 | <lyxia> | safinaskar: thanks again for your answer on cafe BTW |
| 2021-06-16 16:39:25 | × | jrm quits (~jrm@156.34.187.65) (Quit: ciao) |
| 2021-06-16 16:39:48 | → | jrm joins (~jrm@156.34.187.65) |
| 2021-06-16 16:39:53 | <safinaskar> | lyxia: ok :)) |
| 2021-06-16 16:40:51 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-16 16:40:57 | <safinaskar> | but "undefined :: Int#" compiles! |
All times are in UTC.