Logs: liberachat/#haskell
| 2021-08-23 14:02:42 | × | jonathanx quits (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2021-08-23 14:02:47 | × | xff0x quits (~xff0x@2001:1a81:52f9:3300:b5f:b00c:7918:3d13) (Ping timeout: 240 seconds) |
| 2021-08-23 14:03:10 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-08-23 14:05:21 | → | jonathanx joins (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2021-08-23 14:05:36 | → | burnsidesLlama joins (~burnsides@client-8-88.eduroam.oxuni.org.uk) |
| 2021-08-23 14:06:40 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:71e9:72b:1860:cb0f) (Ping timeout: 240 seconds) |
| 2021-08-23 14:07:27 | × | azeem quits (~azeem@176.201.15.223) (Ping timeout: 240 seconds) |
| 2021-08-23 14:07:42 | → | azeem joins (~azeem@176.201.15.223) |
| 2021-08-23 14:10:04 | → | xff0x joins (~xff0x@2001:1a81:52f9:3300:b5f:b00c:7918:3d13) |
| 2021-08-23 14:16:22 | → | neo joins (~neo3@cpe-292712.ip.primehome.com) |
| 2021-08-23 14:17:04 | × | Guest8337 quits (~chris@81.96.113.213) (Ping timeout: 250 seconds) |
| 2021-08-23 14:18:43 | codedmart_ | is now known as codedmart |
| 2021-08-23 14:18:59 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-08-23 14:20:04 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-23 14:20:07 | chris | is now known as Guest5712 |
| 2021-08-23 14:20:33 | × | azeem quits (~azeem@176.201.15.223) (Read error: Connection reset by peer) |
| 2021-08-23 14:20:46 | → | azeem joins (~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it) |
| 2021-08-23 14:21:54 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-23 14:21:54 | × | Guest5712 quits (~chris@81.96.113.213) (Read error: Connection reset by peer) |
| 2021-08-23 14:21:58 | chris | is now known as Guest2290 |
| 2021-08-23 14:22:10 | × | acidjnk_new quits (~acidjnk@p200300d0c72b9556a59b812708dd2de4.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2021-08-23 14:25:18 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-08-23 14:26:26 | × | zfnmxt quits (~zfnmxtzfn@2001:470:69fc:105::2b32) (Changing host) |
| 2021-08-23 14:26:26 | → | zfnmxt joins (~zfnmxtzfn@user/zfnmxt) |
| 2021-08-23 14:26:37 | × | zfnmxt quits (~zfnmxtzfn@user/zfnmxt) (Quit: Reconnecting) |
| 2021-08-23 14:26:53 | → | zfnmxt joins (~zfnmxtzfn@2001:470:69fc:105::2b32) |
| 2021-08-23 14:27:42 | × | zfnmxt quits (~zfnmxtzfn@2001:470:69fc:105::2b32) (Changing host) |
| 2021-08-23 14:27:42 | → | zfnmxt joins (~zfnmxtzfn@user/zfnmxt) |
| 2021-08-23 14:28:09 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-23 14:28:10 | × | reumeth quits (~reumeth@user/reumeth) (Ping timeout: 240 seconds) |
| 2021-08-23 14:28:39 | → | MoC joins (~moc@user/moc) |
| 2021-08-23 14:28:50 | × | burnsidesLlama quits (~burnsides@client-8-88.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2021-08-23 14:29:46 | → | burnsidesLlama joins (~burnsides@client-8-88.eduroam.oxuni.org.uk) |
| 2021-08-23 14:30:33 | mal1 | is now known as lieven |
| 2021-08-23 14:30:36 | × | timCF quits (~timCF@m91-129-108-244.cust.tele2.ee) (Quit: leaving) |
| 2021-08-23 14:33:10 | × | pgib quits (~textual@173.38.117.86) (Ping timeout: 240 seconds) |
| 2021-08-23 14:36:23 | → | VoidNoir0 joins (~VoidNoir0@72.80.203.52) |
| 2021-08-23 14:36:44 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-08-23 14:40:51 | × | burnsidesLlama quits (~burnsides@client-8-88.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2021-08-23 14:42:52 | × | markpythonicbtc quits (~textual@50.228.44.6) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-08-23 14:43:10 | → | burnsidesLlama joins (~burnsides@client-8-88.eduroam.oxuni.org.uk) |
| 2021-08-23 14:43:28 | → | markpythonicbtc joins (~textual@50.228.44.6) |
| 2021-08-23 14:43:58 | × | markpythonicbtc quits (~textual@50.228.44.6) (Client Quit) |
| 2021-08-23 14:43:59 | × | dschrempf quits (~dominik@92-249-199-97.pool.digikabel.hu) (Quit: WeeChat 3.2) |
| 2021-08-23 14:44:07 | × | cheater quits (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2021-08-23 14:44:42 | → | cheater joins (~Username@user/cheater) |
| 2021-08-23 14:45:42 | × | burnsidesLlama quits (~burnsides@client-8-88.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2021-08-23 14:45:58 | × | Boomerang quits (~Boomerang@xd520f68c.cust.hiper.dk) (Ping timeout: 252 seconds) |
| 2021-08-23 14:49:01 | → | Ariakenom joins (~patrik@c83-255-154-140.bredband.tele2.se) |
| 2021-08-23 14:50:51 | → | burnsidesLlama joins (~burnsides@client-8-88.eduroam.oxuni.org.uk) |
| 2021-08-23 14:52:15 | → | zmt01 joins (~zmt00@user/zmt00) |
| 2021-08-23 14:53:07 | × | burnsidesLlama quits (~burnsides@client-8-88.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2021-08-23 14:54:23 | → | jgeerds joins (~jgeerds@55d4b311.access.ecotel.net) |
| 2021-08-23 14:55:25 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-08-23 15:02:28 | Square | is now known as Sqaure |
| 2021-08-23 15:03:52 | → | jose03 joins (~a@p200300ef9702383b45b8de8f8152bf35.dip0.t-ipconnect.de) |
| 2021-08-23 15:04:16 | × | Ariakenom quits (~patrik@c83-255-154-140.bredband.tele2.se) (Quit: WeeChat 3.1) |
| 2021-08-23 15:05:57 | → | burnsidesLlama joins (~burnsides@client-8-88.eduroam.oxuni.org.uk) |
| 2021-08-23 15:06:21 | <jose03> | ghcup has nice terminal user interface. Does anybody know which haskell library they used for the UI? Or is it a C program? |
| 2021-08-23 15:07:10 | × | daeng quits (~daeng@2401:3c00:18e:e603:bec7:e31f:ee15:3296) (Quit: Leaving) |
| 2021-08-23 15:08:29 | <[exa]> | jose03: apparently Options.Applicative and Brick |
| 2021-08-23 15:08:36 | <[exa]> | see code https://gitlab.haskell.org/haskell/ghcup-hs/-/blob/master/app/ghcup/Main.hs |
| 2021-08-23 15:09:07 | × | azeem quits (~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it) (Ping timeout: 240 seconds) |
| 2021-08-23 15:09:16 | × | burnsidesLlama quits (~burnsides@client-8-88.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2021-08-23 15:12:49 | → | azeem joins (~azeem@176.201.15.223) |
| 2021-08-23 15:13:02 | → | burnsidesLlama joins (~burnsides@client-8-88.eduroam.oxuni.org.uk) |
| 2021-08-23 15:14:46 | × | burnsidesLlama quits (~burnsides@client-8-88.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2021-08-23 15:15:13 | → | burnsidesLlama joins (~burnsides@client-8-88.eduroam.oxuni.org.uk) |
| 2021-08-23 15:16:04 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.2) |
| 2021-08-23 15:17:31 | × | burnsidesLlama quits (~burnsides@client-8-88.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2021-08-23 15:17:31 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-23 15:17:31 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-08-23 15:17:31 | → | wroathe joins (~wroathe@user/wroathe) |
| 2021-08-23 15:19:22 | <maerwald> | jose03: brick |
| 2021-08-23 15:20:27 | <maerwald> | https://gitlab.haskell.org/haskell/ghcup-hs/-/blob/master/app/ghcup/BrickMain.hs |
| 2021-08-23 15:20:47 | <maerwald> | barely 500 LOC |
| 2021-08-23 15:20:58 | × | rmo quits (~rmo@user/msr) (Read error: Connection reset by peer) |
| 2021-08-23 15:20:59 | <maerwald> | only downside is it doesn't support windows |
| 2021-08-23 15:21:46 | → | hexfive joins (~eric@50.35.83.177) |
| 2021-08-23 15:22:30 | → | markpythonicbtc joins (~textual@2601:647:5a00:35:f45e:90a7:31f1:d8ef) |
| 2021-08-23 15:23:27 | × | MidAutumnMoon quits (~MidAutumn@user/midautumnmoon) (Quit: Leaving for a break - theLounge) |
| 2021-08-23 15:23:28 | × | azeem quits (~azeem@176.201.15.223) (Read error: Connection reset by peer) |
| 2021-08-23 15:23:48 | <merijn> | optparse-applicative for commandline arguments/flags |
| 2021-08-23 15:23:55 | <merijn> | brick for anything TUI like |
| 2021-08-23 15:23:59 | → | MidAutumnMoon joins (~MidAutumn@user/midautumnmoon) |
| 2021-08-23 15:24:14 | × | hexfive quits (~eric@50.35.83.177) (Client Quit) |
| 2021-08-23 15:25:10 | → | azeem joins (~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it) |
| 2021-08-23 15:26:56 | <jose03> | [exa]: maerwald: merijn: thank you |
| 2021-08-23 15:29:22 | → | nvmd joins (~nvmd@user/nvmd) |
| 2021-08-23 15:39:18 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-23 15:43:35 | × | jippiedoe quits (~david@2a02-a44c-e14e-1-bfe4-3f38-b8a5-8c39.fixed6.kpn.net) (Quit: Leaving) |
| 2021-08-23 15:44:01 | × | dsrt^ quits (~dsrt@12.16.129.111) (Remote host closed the connection) |
| 2021-08-23 15:45:18 | → | epolanski joins (uid312403@id-312403.brockwell.irccloud.com) |
| 2021-08-23 15:45:47 | × | xff0x quits (~xff0x@2001:1a81:52f9:3300:b5f:b00c:7918:3d13) (Ping timeout: 240 seconds) |
| 2021-08-23 15:46:01 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2021-08-23 15:46:07 | → | chexum_ joins (~quassel@gateway/tor-sasl/chexum) |
| 2021-08-23 15:46:46 | → | xff0x joins (~xff0x@2001:1a81:52f9:3300:b601:7649:8935:742b) |
| 2021-08-23 15:50:19 | × | azeem quits (~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-08-23 15:51:26 | → | azeem joins (~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it) |
| 2021-08-23 15:55:09 | × | ubert quits (~Thunderbi@178.165.179.240.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
All times are in UTC.