Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 973 974 975 976 977 978 979 980 981 982 983 .. 18029
— 1,802,875 events total
2021-07-16 10:57:52 × azeem quits (~azeem@176.200.202.21) (Ping timeout: 252 seconds)
2021-07-16 10:58:58 → azeem joins (~azeem@176.200.202.21)
2021-07-16 11:01:46 × wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-07-16 11:01:48 × burnsidesLlama quits (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Remote host closed the connection)
2021-07-16 11:04:59 × wei2912 quits (~wei2912@112.199.250.21) (Quit: Lost terminal)
2021-07-16 11:05:50 × Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Read error: Connection reset by peer)
2021-07-16 11:07:16 → AlexNoo_ joins (~AlexNoo@178.34.162.246)
2021-07-16 11:07:28 → Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net)
2021-07-16 11:09:36 × Pickchea quits (~private@user/pickchea) (Ping timeout: 252 seconds)
2021-07-16 11:11:10 × AlexZenon quits (~alzenon@178.34.162.3) (Ping timeout: 272 seconds)
2021-07-16 11:11:10 × Alex_test quits (~al_test@178.34.162.3) (Ping timeout: 272 seconds)
2021-07-16 11:11:24 × AlexNoo quits (~AlexNoo@178.34.162.3) (Ping timeout: 256 seconds)
2021-07-16 11:14:28 → Alex_test joins (~al_test@178.34.162.246)
2021-07-16 11:14:28 → AlexZenon joins (~alzenon@178.34.162.246)
2021-07-16 11:18:43 × elf_fortrez quits (~elf_fortr@adsl-72-50-4-118.prtc.net) (Ping timeout: 246 seconds)
2021-07-16 11:19:08 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-07-16 11:20:33 × azeem quits (~azeem@176.200.202.21) (Ping timeout: 265 seconds)
2021-07-16 11:22:35 × ablutor quits (~quassel@wasscher.com) (Quit: going for vitamine d)
2021-07-16 11:23:02 → azeem joins (~azeem@176.200.202.21)
2021-07-16 11:23:05 → oxide joins (~lambda@user/oxide)
2021-07-16 11:23:27 → ablutor joins (~quassel@wasscher.com)
2021-07-16 11:27:08 × KUrare quits (~KUrare@user/kurare) (Remote host closed the connection)
2021-07-16 11:27:26 → machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-07-16 11:27:27 → zeenk joins (~zeenk@2a02:2f04:a106:9600:82fb:aed9:ca9:38d3)
2021-07-16 11:27:32 → KUrare joins (~KUrare@user/kurare)
2021-07-16 11:29:45 → Pickchea joins (~private@user/pickchea)
2021-07-16 11:30:02 → thyriaen joins (~thyriaen@45.178.73.238)
2021-07-16 11:33:06 → burnsidesLlama joins (~burnsides@dhcp168-025.wadham.ox.ac.uk)
2021-07-16 11:35:57 × thyriaen quits (~thyriaen@45.178.73.238) (Quit: Leaving)
2021-07-16 11:37:57 × burnsidesLlama quits (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Ping timeout: 265 seconds)
2021-07-16 11:41:51 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-07-16 11:42:30 → anandprabhu_ joins (anandprabh@gateway/vpn/airvpn/anandprabhu)
2021-07-16 11:45:28 × jmorris quits (uid433911@id-433911.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-07-16 11:45:45 × anandprabhu quits (~anandprab@94.202.243.198) (Ping timeout: 255 seconds)
2021-07-16 11:52:43 → smichel17 joins (~smichel17@c-73-68-217-18.hsd1.ma.comcast.net)
2021-07-16 11:54:08 × kuribas quits (~user@ptr-25vy0iagiqui74r0v9f.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
2021-07-16 12:04:31 → burnsidesLlama joins (~burnsides@dhcp168-025.wadham.ox.ac.uk)
2021-07-16 12:09:00 × azeem quits (~azeem@176.200.202.21) (Ping timeout: 252 seconds)
2021-07-16 12:09:03 → jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-07-16 12:10:25 → azeem joins (~azeem@176.200.202.21)
2021-07-16 12:11:06 × burnsidesLlama quits (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Ping timeout: 272 seconds)
2021-07-16 12:13:58 → elf_fortrez joins (~elf_fortr@adsl-72-50-6-21.prtc.net)
2021-07-16 12:19:16 × azeem quits (~azeem@176.200.202.21) (Ping timeout: 252 seconds)
2021-07-16 12:19:46 → azeem joins (~azeem@176.200.202.21)
2021-07-16 12:27:11 × gzj quits (~GZJ0X@199.193.127.138.16clouds.com) (Remote host closed the connection)
2021-07-16 12:27:29 → gzj joins (~GZJ0X@199.193.127.138.16clouds.com)
2021-07-16 12:27:56 → peterhil joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi)
2021-07-16 12:28:41 × azeem quits (~azeem@176.200.202.21) (Ping timeout: 255 seconds)
2021-07-16 12:30:05 → azeem joins (~azeem@176.200.202.21)
2021-07-16 12:31:03 → jmorris joins (uid433911@id-433911.stonehaven.irccloud.com)
2021-07-16 12:36:55 × azeem quits (~azeem@176.200.202.21) (Ping timeout: 265 seconds)
2021-07-16 12:38:09 → azeem joins (~azeem@176.200.202.21)
2021-07-16 12:42:22 × KUrare quits (~KUrare@user/kurare) (Ping timeout: 252 seconds)
2021-07-16 12:44:53 <lechner> Hi, should members in data types intended for parsing JSON be annotated with an exclamation mark for strictness?
2021-07-16 12:47:46 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-07-16 12:50:53 → alx741 joins (~alx741@181.196.68.89)
2021-07-16 12:52:19 → jolly joins (~jolly@208.180.97.158)
2021-07-16 12:52:21 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 255 seconds)
2021-07-16 12:56:19 → brian_da_mage joins (~Neuromanc@user/briandamag)
2021-07-16 12:57:20 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds)
2021-07-16 12:58:09 → euandreh joins (~euandreh@191.181.59.160)
2021-07-16 13:04:22 × azeem quits (~azeem@176.200.202.21) (Ping timeout: 252 seconds)
2021-07-16 13:05:39 → jumper149 joins (~jumper149@80.240.31.34)
2021-07-16 13:05:54 × amk quits (~amk@176.61.106.150) (Ping timeout: 240 seconds)
2021-07-16 13:06:38 <jumper149> Hi, I want to display some Haskell code with texlive. What library works well to highlight Haskell? Do they work with extensions?
2021-07-16 13:07:59 → azeem joins (~azeem@176.200.202.21)
2021-07-16 13:09:57 → GZJ0X_ joins (~GZJ0X@199.193.127.138.16clouds.com)
2021-07-16 13:10:13 × GZJ0X_ quits (~GZJ0X@199.193.127.138.16clouds.com) (Remote host closed the connection)
2021-07-16 13:10:28 → bollu0 joins (~bollu@139.59.46.74)
2021-07-16 13:10:39 → GZJ0X_ joins (~GZJ0X@199.193.127.138.16clouds.com)
2021-07-16 13:11:21 × anandprabhu_ quits (anandprabh@gateway/vpn/airvpn/anandprabhu) (Quit: Leaving)
2021-07-16 13:11:37 → glguy_ joins (x@libera/staff/glguy)
2021-07-16 13:11:39 → GIANTWORLDKEEPR_ joins (~pjetcetal@128-71-13-182.broadband.corbina.ru)
2021-07-16 13:11:41 → gawen_ joins (~gawen@user/gawen)
2021-07-16 13:11:56 → TheCoffeMaker_ joins (~TheCoffeM@125-121-245-190.fibertel.com.ar)
2021-07-16 13:12:06 → Firedancer_ joins (sid336191@id-336191.stonehaven.irccloud.com)
2021-07-16 13:12:08 × GZJ0X_ quits (~GZJ0X@199.193.127.138.16clouds.com) (Read error: Connection reset by peer)
2021-07-16 13:12:26 → GZJ0X_ joins (~GZJ0X@199.193.127.138.16clouds.com)
2021-07-16 13:12:28 → dsf joins (~dsf@cpe-66-75-56-205.san.res.rr.com)
2021-07-16 13:12:35 → exarkun_ joins (~exarkun@14.79.69.34.bc.googleusercontent.com)
2021-07-16 13:12:38 → Nahra` joins (~user@static.161.95.99.88.clients.your-server.de)
2021-07-16 13:12:50 → dustinm- joins (~dustinm@static.38.6.217.95.clients.your-server.de)
2021-07-16 13:12:52 → emergence6 joins (~emergence@vm0.max-p.me)
2021-07-16 13:12:53 → Taneb0 joins (~Taneb@runciman.hacksoc.org)
2021-07-16 13:13:11 × GZJ0X_ quits (~GZJ0X@199.193.127.138.16clouds.com) (Remote host closed the connection)
2021-07-16 13:13:11 → dragestil__ joins (~quassel@user/dragestil)
2021-07-16 13:13:15 → mjs2600_ joins (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net)
2021-07-16 13:13:24 → sndr joins (~sander@user/sander)
2021-07-16 13:13:29 → GZJ0X_ joins (~GZJ0X@199.193.127.138.16clouds.com)
2021-07-16 13:13:31 × xff0x quits (~xff0x@2001:1a81:53d5:b900:e768:175e:26b1:ffc) (Ping timeout: 246 seconds)
2021-07-16 13:13:36 → chkno_ joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2021-07-16 13:13:41 → Ttech joins (adran@botters/adran)
2021-07-16 13:13:46 → Teacup_ joins (~teacup@user/teacup)
2021-07-16 13:13:48 → vysn joins (~vysn@user/vysn)
2021-07-16 13:13:53 → _-- joins (~ding@2001:19f0:5:14c2:5400:2ff:fee0:a42c)
2021-07-16 13:13:58 → opqdonut_ joins (opqdonut@pseudo.fixme.fi)
2021-07-16 13:13:59 → orzo_ joins (joe@lasker.childrenofmay.org)
2021-07-16 13:14:00 → aforemny_ joins (~aforemny@static.248.158.34.188.clients.your-server.de)
2021-07-16 13:14:06 → terrorjack2 joins (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com)
2021-07-16 13:14:08 → oxide_ joins (~lambda@user/oxide)
←Prev  Next→
Page 1 .. 973 974 975 976 977 978 979 980 981 982 983 .. 18029

All times are in UTC.