Logs: freenode/#haskell
| 2021-03-06 23:05:59 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 260 seconds) |
| 2021-03-06 23:09:38 | → | maier joins (~maier@i59F67B82.versanet.de) |
| 2021-03-06 23:10:34 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 2021-03-06 23:10:47 | → | frozenErebus joins (~frozenEre@94.128.82.20) |
| 2021-03-06 23:13:00 | × | maier quits (~maier@i59F67B82.versanet.de) (Client Quit) |
| 2021-03-06 23:13:43 | × | luite quits (sid387799@gateway/web/irccloud.com/x-ohgaypzpftwfeuju) (Ping timeout: 258 seconds) |
| 2021-03-06 23:14:18 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-06 23:14:23 | × | AndreasK quits (sid320732@gateway/web/irccloud.com/x-dkyhwfkqsbmunfbl) (Ping timeout: 272 seconds) |
| 2021-03-06 23:14:48 | × | ReinH__ quits (sid179972@gateway/web/irccloud.com/x-meqpexydldcilwkm) (Ping timeout: 265 seconds) |
| 2021-03-06 23:14:55 | → | luite joins (sid387799@gateway/web/irccloud.com/x-becizjrtxujowngt) |
| 2021-03-06 23:15:01 | × | joshmeredith quits (sid387798@gateway/web/irccloud.com/x-dezbyhmunjmqgqyo) (Ping timeout: 272 seconds) |
| 2021-03-06 23:15:26 | × | SrPx quits (sid108780@gateway/web/irccloud.com/x-cigqtgbnlsjmzvjr) (Ping timeout: 240 seconds) |
| 2021-03-06 23:15:27 | → | AndreasK joins (sid320732@gateway/web/irccloud.com/x-laayufbotskvbggw) |
| 2021-03-06 23:15:38 | × | ryjm quits (sid383513@gateway/web/irccloud.com/x-alpbngknwzxmptcz) (Ping timeout: 264 seconds) |
| 2021-03-06 23:15:53 | × | ebutleriv quits (sid217783@gateway/web/irccloud.com/x-mippiqwsoolalnxn) (Ping timeout: 268 seconds) |
| 2021-03-06 23:15:54 | → | joshmeredith joins (sid387798@gateway/web/irccloud.com/x-mazkbakqjtzyatwb) |
| 2021-03-06 23:16:23 | → | ebutleriv joins (sid217783@gateway/web/irccloud.com/x-qoyqmjfetwxbyhys) |
| 2021-03-06 23:16:31 | × | frozenErebus quits (~frozenEre@94.128.82.20) (Ping timeout: 276 seconds) |
| 2021-03-06 23:16:38 | × | vicfred quits (vicfred@gateway/vpn/mullvad/vicfred) (Quit: Leaving) |
| 2021-03-06 23:16:47 | → | ryjm joins (sid383513@gateway/web/irccloud.com/x-hchpkccerminfqhh) |
| 2021-03-06 23:17:05 | → | ReinH__ joins (sid179972@gateway/web/irccloud.com/x-hfoejwfalpquomyg) |
| 2021-03-06 23:17:24 | → | SrPx joins (sid108780@gateway/web/irccloud.com/x-hpatbjrmfkghbtmc) |
| 2021-03-06 23:18:38 | <heck-to-the-gnom> | Yeah, nix is nice |
| 2021-03-06 23:18:49 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 256 seconds) |
| 2021-03-06 23:20:30 | <MarcelineVQ> | Mountains're nice. |
| 2021-03-06 23:20:38 | <olligobber> | I don't like nix |
| 2021-03-06 23:20:46 | <slack1256> | SPJ is nice. |
| 2021-03-06 23:20:58 | <heck-to-the-gnom> | Why's that olligobber? |
| 2021-03-06 23:21:06 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:f9cd:3683:49d6:918b) (Remote host closed the connection) |
| 2021-03-06 23:21:22 | × | ech quits (~user@gateway/tor-sasl/ech) (Remote host closed the connection) |
| 2021-03-06 23:21:24 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2021-03-06 23:21:27 | → | ech_ joins (~user@gateway/tor-sasl/ech) |
| 2021-03-06 23:22:23 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-06 23:22:44 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) |
| 2021-03-06 23:23:59 | <olligobber> | I guess I just had trouble learning how to write packages for it |
| 2021-03-06 23:24:27 | × | xsperry quits (~as@unaffiliated/xsperry) (Remote host closed the connection) |
| 2021-03-06 23:25:59 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-06 23:26:10 | <systemfault> | This's the life. |
| 2021-03-06 23:26:58 | <MarcelineVQ> | ;> |
| 2021-03-06 23:27:12 | × | shatriff quits (~vitaliish@protective.remission.volia.net) (Remote host closed the connection) |
| 2021-03-06 23:27:24 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) |
| 2021-03-06 23:27:26 | → | shatriff joins (~vitaliish@protective.remission.volia.net) |
| 2021-03-06 23:27:50 | × | whataday quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-03-06 23:28:07 | → | hiroaki2 joins (~hiroaki@ip4d167578.dynamic.kabel-deutschland.de) |
| 2021-03-06 23:28:21 | → | hiroaki__ joins (~hiroaki@2a02:8108:8c40:2bb8:9be:b8bd:4533:1aff) |
| 2021-03-06 23:28:56 | <sm[m]> | ADG1089__: it's perfectly fine to use a cabal file originally generated by hpack - it's just a cabal file |
| 2021-03-06 23:28:56 | → | whataday joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-03-06 23:29:34 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-06 23:29:37 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Remote host closed the connection) |
| 2021-03-06 23:29:41 | <sm[m]> | but for small programs, have you considered a stack or cabal script |
| 2021-03-06 23:30:18 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) |
| 2021-03-06 23:30:29 | <sm[m]> | a "one file project" |
| 2021-03-06 23:31:04 | × | hiroaki1 quits (~hiroaki@ip4d176126.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2021-03-06 23:31:34 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) |
| 2021-03-06 23:31:43 | × | bigbosskor quits (~Android@182.232.52.52) (Read error: Connection reset by peer) |
| 2021-03-06 23:32:07 | × | hiroaki_ quits (~hiroaki@ip4d176126.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2021-03-06 23:32:31 | <sm[m]> | but if I missed some context, disregard |
| 2021-03-06 23:32:50 | <hpc> | olligobber: yeah, i think the issue there is nix is untyped |
| 2021-03-06 23:33:20 | <hpc> | i had the same issue with nixos, it's just incredibly hard to write something correctly when you don't know if you're even calling functions correctly |
| 2021-03-06 23:34:38 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-03-06 23:35:08 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Ping timeout: 260 seconds) |
| 2021-03-06 23:35:55 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Ping timeout: 240 seconds) |
| 2021-03-06 23:36:18 | × | hiroaki__ quits (~hiroaki@2a02:8108:8c40:2bb8:9be:b8bd:4533:1aff) (Ping timeout: 260 seconds) |
| 2021-03-06 23:37:29 | × | pera quits (~pera@unaffiliated/pera) (Quit: leaving) |
| 2021-03-06 23:37:33 | → | xsperry joins (~as@unaffiliated/xsperry) |
| 2021-03-06 23:37:58 | × | minoru_shiraeesh quits (~shiraeesh@109.166.57.19) (Ping timeout: 260 seconds) |
| 2021-03-06 23:38:13 | kadoban_ | is now known as kadobanana |
| 2021-03-06 23:38:35 | × | kunsttyv quits (~kunsttyv@ti0005q162-5102.bb.online.no) (Ping timeout: 256 seconds) |
| 2021-03-06 23:38:48 | kadobanana | is now known as kadoban_ |
| 2021-03-06 23:39:40 | × | frankdmartinez quits (~frankdmar@217.138.198.212) (Quit: frankdmartinez) |
| 2021-03-06 23:40:06 | → | kunsttyv joins (~kunsttyv@195.93.234.11) |
| 2021-03-06 23:41:15 | → | hiroaki3 joins (~hiroaki@2a02:8108:8c40:2bb8:74cb:792a:2348:aae5) |
| 2021-03-06 23:42:09 | × | hiroaki2 quits (~hiroaki@ip4d167578.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2021-03-06 23:42:34 | → | ep1ctetus joins (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 2021-03-06 23:43:37 | × | kunsttyv quits (~kunsttyv@195.93.234.11) (Read error: Connection reset by peer) |
| 2021-03-06 23:44:26 | × | \2E0KNO quits (~retlo@172.245.134.89) (Quit: WeeChat 2.8) |
| 2021-03-06 23:44:40 | → | frankdmartinez joins (~frankdmar@c-69-249-128-78.hsd1.pa.comcast.net) |
| 2021-03-06 23:45:05 | → | kunsttyv joins (~kunsttyv@ti0005q162-5102.bb.online.no) |
| 2021-03-06 23:46:00 | → | hiroaki__ joins (~hiroaki@2a02:8108:8c40:2bb8:42d0:d7b1:d12b:42d8) |
| 2021-03-06 23:46:19 | → | bigbosskor joins (~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf) |
| 2021-03-06 23:47:57 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 264 seconds) |
| 2021-03-06 23:48:06 | × | frankdmartinez quits (~frankdmar@c-69-249-128-78.hsd1.pa.comcast.net) (Client Quit) |
| 2021-03-06 23:49:47 | × | Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 2021-03-06 23:50:35 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-06 23:50:58 | → | frankdmartinez joins (~frankdmar@217.138.198.212) |
| 2021-03-06 23:51:03 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-mfzveezqaqjgvokp) (Quit: Connection closed for inactivity) |
| 2021-03-06 23:51:12 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) |
| 2021-03-06 23:51:44 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-03-06 23:52:48 | × | usr25 quits (~J@63.red-83-58-206.dynamicip.rima-tde.net) (Quit: Bye) |
| 2021-03-06 23:52:54 | × | kunsttyv quits (~kunsttyv@ti0005q162-5102.bb.online.no) (Ping timeout: 260 seconds) |
| 2021-03-06 23:54:35 | → | kunsttyv joins (~kunsttyv@ti0005q162-5102.bb.online.no) |
| 2021-03-06 23:54:38 | → | vicfred joins (vicfred@gateway/vpn/mullvad/vicfred) |
| 2021-03-06 23:54:59 | × | jle` quits (~mstksg@unaffiliated/mstksg) (Quit: WeeChat 2.7) |
| 2021-03-06 23:55:55 | <juri_> | how do i define a type with two either members, where if the first one is Left, the second one must be Left, otherwise they are both Right? |
| 2021-03-06 23:56:57 | <hpc> | so kind of like Either (a, a) (b, b)? |
| 2021-03-06 23:57:13 | <juri_> | sure. |
| 2021-03-06 23:57:55 | → | qih joins (~pi@210-54-120-166.adsl.xtra.co.nz) |
| 2021-03-06 23:58:03 | <hpc> | @src Either |
| 2021-03-06 23:58:03 | <lambdabot> | Source not found. My mind is going. I can feel it. |
| 2021-03-06 23:58:05 | <hpc> | bleh |
All times are in UTC.