Logs: freenode/#haskell
| 2021-03-07 08:38:45 | → | LittleFox joins (~littlefox@rondra.lf-net.org) |
| 2021-03-07 08:39:55 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Ping timeout: 240 seconds) |
| 2021-03-07 08:41:32 | × | puffnfresh quits (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) (Ping timeout: 265 seconds) |
| 2021-03-07 08:43:13 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-07 08:43:18 | → | puffnfresh joins (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) |
| 2021-03-07 08:47:09 | → | mananamenos joins (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) |
| 2021-03-07 08:47:42 | × | Waifod quits (Waifod@gateway/vpn/protonvpn/waifod) (Ping timeout: 260 seconds) |
| 2021-03-07 08:48:00 | → | kuribas joins (~user@ptr-25vy0i8agngd0s4hmr1.18120a2.ip6.access.telenet.be) |
| 2021-03-07 08:48:44 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-03-07 08:49:42 | → | Waifod joins (~Waifod@91.106.123.186) |
| 2021-03-07 08:53:24 | × | kunsttyv quits (~kunsttyv@ti0005q162-5102.bb.online.no) (Ping timeout: 256 seconds) |
| 2021-03-07 08:57:41 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Remote host closed the connection) |
| 2021-03-07 08:58:14 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:3d97:f475:94df:3731) (Ping timeout: 264 seconds) |
| 2021-03-07 09:04:14 | × | jespada quits (~jespada@90.254.243.187) (Ping timeout: 245 seconds) |
| 2021-03-07 09:05:49 | → | fendor joins (~fendor@77.119.129.125.wireless.dyn.drei.com) |
| 2021-03-07 09:06:29 | → | jespada joins (~jespada@90.254.243.187) |
| 2021-03-07 09:07:01 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:6ca2:b5f:b108:d6ce) (Remote host closed the connection) |
| 2021-03-07 09:07:29 | → | Kater joins (~Kater@178.239.168.171) |
| 2021-03-07 09:08:01 | <arahael> | Why not use cabal? |
| 2021-03-07 09:09:09 | × | hiptobecubic quits (~john@unaffiliated/hiptobecubic) (Ping timeout: 260 seconds) |
| 2021-03-07 09:09:46 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:6d03:d77e:f4e7:30fb) |
| 2021-03-07 09:10:21 | × | drbean quits (~drbean@TC210-63-209-198.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2021-03-07 09:12:39 | <arahael> | ADG1089: Also, ghc itself seems quite well documented, even if it's just 'man ghc', though there's more info online. |
| 2021-03-07 09:13:13 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 276 seconds) |
| 2021-03-07 09:13:44 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) |
| 2021-03-07 09:15:02 | <ADG1089> | arahael: I'm using this makefile: https://paste.tomsmeding.com/gxe9PieS. src/problems has ~206 files, each to be compiled as an executable |
| 2021-03-07 09:15:32 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Remote host closed the connection) |
| 2021-03-07 09:16:06 | <arahael> | ADG1089: That wasn't quite what I asked, but if you want to do your own build, go for it. |
| 2021-03-07 09:16:12 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) |
| 2021-03-07 09:18:20 | → | ezrakilty joins (~ezrakilty@97-113-55-149.tukw.qwest.net) |
| 2021-03-07 09:20:32 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Ping timeout: 258 seconds) |
| 2021-03-07 09:20:48 | × | shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:44c1:48d2:bcfb:ac55) (Ping timeout: 260 seconds) |
| 2021-03-07 09:22:49 | × | ezrakilty quits (~ezrakilty@97-113-55-149.tukw.qwest.net) (Ping timeout: 256 seconds) |
| 2021-03-07 09:23:18 | × | Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-03-07 09:23:32 | → | Guest78 joins (b986aa8d@gateway/web/cgi-irc/kiwiirc.com/ip.185.134.170.141) |
| 2021-03-07 09:26:16 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-07 09:33:48 | → | Franciman joins (~francesco@host-82-49-79-189.retail.telecomitalia.it) |
| 2021-03-07 09:34:25 | × | dftxbs3e quits (~dftxbs3e@unaffiliated/dftxbs3e) (Ping timeout: 272 seconds) |
| 2021-03-07 09:35:35 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-07 09:35:59 | → | shutdown_-h_now joins (~arjan@2001:1c06:2d0b:2312:1409:1dc2:df9b:e790) |
| 2021-03-07 09:38:35 | × | vicfred quits (vicfred@gateway/vpn/mullvad/vicfred) (Quit: Leaving) |
| 2021-03-07 09:39:21 | → | malumore joins (~malumore@151.62.117.238) |
| 2021-03-07 09:40:30 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-03-07 09:53:28 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) |
| 2021-03-07 09:56:17 | × | bigbosskor quits (~Android@182.232.52.52) (Read error: Connection reset by peer) |
| 2021-03-07 09:56:51 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-raygqnszljvtjgib) (Quit: Connection closed for inactivity) |
| 2021-03-07 09:59:18 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Ping timeout: 260 seconds) |
| 2021-03-07 10:00:27 | → | CMCDragonkai1 joins (~Thunderbi@60-242-118-130.tpgi.com.au) |
| 2021-03-07 10:02:04 | → | bigbosskor joins (~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf) |
| 2021-03-07 10:02:23 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2021-03-07 10:02:55 | × | bigbosskor quits (~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf) (Read error: Connection reset by peer) |
| 2021-03-07 10:04:54 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 2021-03-07 10:05:07 | → | Neuromancer joins (~Neuromanc@unaffiliated/neuromancer) |
| 2021-03-07 10:06:01 | × | denisse quits (~spaceCat@gateway/tor-sasl/alephzer0) (Ping timeout: 268 seconds) |
| 2021-03-07 10:06:21 | → | puke joins (~vroom@217.138.252.212) |
| 2021-03-07 10:06:23 | → | gazelle joins (~irfan@117.222.64.102) |
| 2021-03-07 10:07:09 | × | malumore quits (~malumore@151.62.117.238) (Ping timeout: 245 seconds) |
| 2021-03-07 10:07:09 | × | gazelle quits (~irfan@117.222.64.102) (Quit: leaving) |
| 2021-03-07 10:07:12 | → | bigbosskor joins (~Android@182.232.52.52) |
| 2021-03-07 10:07:15 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds) |
| 2021-03-07 10:07:50 | → | denisse joins (~spaceCat@gateway/tor-sasl/alephzer0) |
| 2021-03-07 10:08:27 | × | bigbosskor quits (~Android@182.232.52.52) (Read error: Connection reset by peer) |
| 2021-03-07 10:09:19 | → | bigbosskor joins (~Android@223.204.217.185) |
| 2021-03-07 10:11:04 | × | bigbosskor quits (~Android@223.204.217.185) (Read error: Connection reset by peer) |
| 2021-03-07 10:11:32 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 2021-03-07 10:12:18 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-03-07 10:12:48 | × | rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-iccmdkrlldkpmdkm) (Quit: Connection closed for inactivity) |
| 2021-03-07 10:15:48 | → | Tops2 joins (~Tobias@dyndsl-095-033-094-199.ewe-ip-backbone.de) |
| 2021-03-07 10:20:59 | × | forgottenone quits (~forgotten@176.42.24.161) (Remote host closed the connection) |
| 2021-03-07 10:21:58 | → | B-J joins (~BenziJuni@dsl-149-64-40.hive.is) |
| 2021-03-07 10:23:31 | × | Benzi-Junior quits (~BenziJuni@dsl-149-67-143.hive.is) (Ping timeout: 265 seconds) |
| 2021-03-07 10:24:32 | → | ClaudiusMaximus joins (~claude@191.123.199.146.dyn.plus.net) |
| 2021-03-07 10:24:37 | × | ClaudiusMaximus quits (~claude@191.123.199.146.dyn.plus.net) (Changing host) |
| 2021-03-07 10:24:37 | → | ClaudiusMaximus joins (~claude@unaffiliated/claudiusmaximus) |
| 2021-03-07 10:27:35 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-07 10:28:23 | → | forgottenone joins (~forgotten@176.42.24.161) |
| 2021-03-07 10:29:16 | → | bigbosskor joins (~Android@223.204.217.185) |
| 2021-03-07 10:29:19 | × | bigbosskor quits (~Android@223.204.217.185) (Read error: Connection reset by peer) |
| 2021-03-07 10:29:48 | → | dnlkrgr joins (~dnlkrgr@ip-109-42-0-192.web.vodafone.de) |
| 2021-03-07 10:30:42 | <dnlkrgr> | with `optparse-generic`, how to an option with type isomorphic to `Either`? |
| 2021-03-07 10:32:31 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 276 seconds) |
| 2021-03-07 10:33:09 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 268 seconds) |
| 2021-03-07 10:35:02 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-03-07 10:37:13 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-07 10:37:14 | × | frozenErebus quits (~frozenEre@94.128.82.20) (Ping timeout: 260 seconds) |
| 2021-03-07 10:40:38 | → | mayleesia joins (590cf471@dynamic-089-012-244-113.89.12.pool.telefonica.de) |
| 2021-03-07 10:42:16 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 276 seconds) |
| 2021-03-07 10:42:29 | → | son0p joins (~son0p@181.58.39.182) |
| 2021-03-07 10:43:34 | → | frozenErebus joins (~frozenEre@94.128.82.20) |
| 2021-03-07 10:44:07 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-07 10:45:30 | → | johannes_ joins (~johannes@i59F67BC5.versanet.de) |
| 2021-03-07 10:45:45 | <juri_> | hpc: belated thanks. |
| 2021-03-07 10:46:43 | → | Ishutin joins (~ishutin@91-83-11-236.pool.digikabel.hu) |
| 2021-03-07 10:46:52 | johannes_ | is now known as kenran |
| 2021-03-07 10:50:03 | × | Ishutin_ quits (~ishutin@80-95-70-202.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 2021-03-07 10:53:48 | × | frozenErebus quits (~frozenEre@94.128.82.20) (Ping timeout: 245 seconds) |
| 2021-03-07 10:54:51 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) |
| 2021-03-07 10:55:04 | → | frozenErebus joins (~frozenEre@94.128.82.20) |
| 2021-03-07 10:59:26 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Ping timeout: 264 seconds) |
| 2021-03-07 11:00:29 | → | minoru_shiraeesh joins (~shiraeesh@109.166.57.19) |
All times are in UTC.