Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 967 968 969 970 971 972 973 974 975 976 977 .. 18029
— 1,802,806 events total
2021-07-16 00:00:33 → dragestil_ joins (~quassel@user/dragestil)
2021-07-16 00:00:44 → Null_A joins (~null_a@2601:645:8700:2290:187e:cdbe:3584:806)
2021-07-16 00:01:10 → dajoer joins (~david@user/gvx)
2021-07-16 00:01:50 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-07-16 00:02:24 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-07-16 00:02:26 × Atum_ quits (IRC@user/atum/x-2392232) (Quit: Atum_)
2021-07-16 00:02:50 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-16 00:02:51 → gzj joins (~GZJ0X@199.193.127.138.16clouds.com)
2021-07-16 00:02:53 <sm> takeWhileP when you want max speed perhaps
2021-07-16 00:04:58 → bitmapper joins (uid464869@id-464869.tooting.irccloud.com)
2021-07-16 00:05:03 → shutdown_-h_now joins (~arjan@82-75-187-100.cable.dynamic.v4.ziggo.nl)
2021-07-16 00:10:30 → dragestil__ joins (~quassel@user/dragestil)
2021-07-16 00:13:52 × dragestil_ quits (~quassel@user/dragestil) (Ping timeout: 245 seconds)
2021-07-16 00:17:55 × shutdown_-h_now quits (~arjan@82-75-187-100.cable.dynamic.v4.ziggo.nl) (Ping timeout: 246 seconds)
2021-07-16 00:19:19 × Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt)
2021-07-16 00:20:01 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-07-16 00:21:41 → martums joins (~martums@user/martums)
2021-07-16 00:21:54 × hexfive quits (~eric@50.35.83.177) (Ping timeout: 268 seconds)
2021-07-16 00:22:23 × stevenxl quits (uid133530@id-133530.highgate.irccloud.com) (Quit: Connection closed for inactivity)
2021-07-16 00:23:38 dragestil__ is now known as dragestil_
2021-07-16 00:24:05 → shutdown_-h_now joins (~arjan@82-75-187-100.cable.dynamic.v4.ziggo.nl)
2021-07-16 00:25:13 → hexfive joins (~eric@50.35.83.177)
2021-07-16 00:27:01 × roboto_el_gato quits (~roboto_el@2600:1700:7df0:4f30:60ad:415d:9afc:74f1) (Ping timeout: 246 seconds)
2021-07-16 00:28:04 × chisui quits (~chisui@200116b866e14b00954b747ecb7b95bf.dip.versatel-1u1.de) (Ping timeout: 246 seconds)
2021-07-16 00:28:17 × Null_A quits (~null_a@2601:645:8700:2290:187e:cdbe:3584:806) (Remote host closed the connection)
2021-07-16 00:29:31 → Null_A joins (~null_a@2601:645:8700:2290:187e:cdbe:3584:806)
2021-07-16 00:30:20 → nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-16 00:32:01 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
2021-07-16 00:32:09 → oso joins (~oso@2601:58c:c080:a950:f275:2530:b398:680b)
2021-07-16 00:33:28 → _xor joins (~xor@74.215.232.67)
2021-07-16 00:35:06 <oso> just double checking, if I use `Data.Text.toCaseFold` for conversion, I still use `Data.Char.isLower` to check for lowercase letters?
2021-07-16 00:35:18 × nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2021-07-16 00:35:20 <oso> I feel like it's a simple and obvious yes but I want to be certain
2021-07-16 00:37:37 × derelict quits (~derelict@user/derelict) (Ping timeout: 245 seconds)
2021-07-16 00:38:32 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-07-16 00:41:08 → lavaman joins (~lavaman@98.38.249.169)
2021-07-16 00:42:27 × oxide quits (~lambda@user/oxide) (Ping timeout: 255 seconds)
2021-07-16 00:43:18 × Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 272 seconds)
2021-07-16 00:44:48 × TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Ping timeout: 252 seconds)
2021-07-16 00:47:26 → falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-07-16 00:49:39 × retroid_ quits (~retro@90.218.175.34) (Ping timeout: 268 seconds)
2021-07-16 00:50:44 × Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-07-16 00:50:45 × waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 250 seconds)
2021-07-16 00:51:11 <Raugh> oso: try it out in GHCi :)
2021-07-16 00:51:13 → Vajb joins (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01)
2021-07-16 00:51:53 <oso> I have, I just want to be sure there aren't any edge cases with characters I'm not personally familiar with
2021-07-16 00:54:22 → TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker)
2021-07-16 00:54:31 × egoist quits (~egoist@186.235.80.249) (Quit: WeeChat 3.2)
2021-07-16 00:55:52 <Raugh> I'm not famaliar with the utf8 / char problem space but perhasp something like quickCheck could help aleviate worries?
2021-07-16 00:56:23 <oso> I'll take a look, thanks
2021-07-16 00:58:02 × Null_A quits (~null_a@2601:645:8700:2290:187e:cdbe:3584:806) (Remote host closed the connection)
2021-07-16 00:58:18 → Null_A joins (~null_a@2601:645:8700:2290:187e:cdbe:3584:806)
2021-07-16 01:00:33 → derelict joins (~derelict@user/derelict)
2021-07-16 01:01:18 × jneira_ quits (~jneira_@28.red-80-28-169.staticip.rima-tde.net) (Ping timeout: 252 seconds)
2021-07-16 01:02:29 → myShoggoth joins (~myShoggot@97-120-70-214.ptld.qwest.net)
2021-07-16 01:03:52 × Deide quits (~Deide@user/deide) (Ping timeout: 252 seconds)
2021-07-16 01:10:06 × elf_fortrez quits (~elf_fortr@adsl-72-50-4-51.prtc.net) (Quit: Client closed)
2021-07-16 01:13:24 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 252 seconds)
2021-07-16 01:13:41 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-16 01:14:34 → oxide joins (~lambda@user/oxide)
2021-07-16 01:16:00 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
2021-07-16 01:16:33 → lavaman joins (~lavaman@98.38.249.169)
2021-07-16 01:20:00 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 252 seconds)
2021-07-16 01:20:36 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-16 01:20:46 × hegstal quits (~hegstal@2a02:c7f:7604:8a00:1608:5ddb:ace2:2fb3) (Ping timeout: 268 seconds)
2021-07-16 01:21:06 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2021-07-16 01:21:20 × Null_A quits (~null_a@2601:645:8700:2290:187e:cdbe:3584:806) (Remote host closed the connection)
2021-07-16 01:22:12 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 252 seconds)
2021-07-16 01:26:50 → Deide joins (~Deide@217.155.19.23)
2021-07-16 01:26:50 × Deide quits (~Deide@217.155.19.23) (Changing host)
2021-07-16 01:26:50 → Deide joins (~Deide@user/deide)
2021-07-16 01:27:00 × xff0x quits (~xff0x@2001:1a81:5396:d100:2b35:b634:3ed0:60cf) (Ping timeout: 255 seconds)
2021-07-16 01:28:35 × Deide quits (~Deide@user/deide) (Client Quit)
2021-07-16 01:28:52 → xff0x joins (~xff0x@2001:1a81:53d5:b900:e768:175e:26b1:ffc)
2021-07-16 01:29:10 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 252 seconds)
2021-07-16 01:29:11 → Guest21 joins (~Guest21@50.47.115.102)
2021-07-16 01:29:34 → lavaman joins (~lavaman@98.38.249.169)
2021-07-16 01:30:17 → Null_A joins (~null_a@2601:645:8700:2290:187e:cdbe:3584:806)
2021-07-16 01:30:28 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-16 01:30:32 × silverwhitefish quits (~hidden@47.202.102.10) (Quit: One for all, all for One (2 Corinthians 5))
2021-07-16 01:30:33 → jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-07-16 01:32:49 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-16 01:33:47 × myShoggoth quits (~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 265 seconds)
2021-07-16 01:34:09 × gzj quits (~GZJ0X@199.193.127.138.16clouds.com) (Remote host closed the connection)
2021-07-16 01:34:27 → gzj joins (~GZJ0X@199.193.127.138.16clouds.com)
2021-07-16 01:37:02 → machinedgod joins (~machinedg@24.105.81.50)
2021-07-16 01:37:35 → neurocyte0 joins (~neurocyte@45.136.170.21)
2021-07-16 01:37:35 × neurocyte0 quits (~neurocyte@45.136.170.21) (Changing host)
2021-07-16 01:37:35 → neurocyte0 joins (~neurocyte@user/neurocyte)
2021-07-16 01:38:15 × renzhi quits (~xp@2607:fa49:655f:a700::8b9f) (Ping timeout: 255 seconds)
2021-07-16 01:41:08 × neurocyte quits (~neurocyte@user/neurocyte) (Ping timeout: 255 seconds)
2021-07-16 01:41:08 neurocyte0 is now known as neurocyte
2021-07-16 01:42:02 × derelict quits (~derelict@user/derelict) (Ping timeout: 255 seconds)
2021-07-16 01:42:25 × Raugh quits (~mike@174.127.249.180) (Remote host closed the connection)
2021-07-16 01:44:56 <dsal> :t T.toCaseFold
2021-07-16 01:44:57 <lambdabot> T.Text -> T.Text
2021-07-16 01:45:01 <dsal> :t T.iSlower
2021-07-16 01:45:02 <lambdabot> error: Not in scope: ‘T.iSlower’
2021-07-16 01:45:09 <dsal> :t Data.Char.isLower
2021-07-16 01:45:11 <lambdabot> Char -> Bool
←Prev  Next→
Page 1 .. 967 968 969 970 971 972 973 974 975 976 977 .. 18029

All times are in UTC.