Logs: freenode/#haskell
| 2021-03-02 20:53:48 | <monochrom> | Hrm interesting, "cabal-version: 3.4": Remove -any and -none syntax for version ranges Use >=0 and <0 respectively. |
| 2021-03-02 20:53:52 | → | aarvar joins (~foewfoiew@2601:602:a080:fa0:176:cad2:9667:c008) |
| 2021-03-02 20:54:10 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:2d2c:7153:bdbb:6201) |
| 2021-03-02 20:54:37 | × | remby quits (~rcg@bras-base-london1483w-grc-21-76-67-124-27.dsl.bell.ca) (Quit: Konversation terminated!) |
| 2021-03-02 20:54:45 | <koz_> | int-e: I will have my optimal free State monad! |
| 2021-03-02 20:55:15 | <koz_> | (although arguably, this is mixing Church and State) |
| 2021-03-02 20:55:35 | <monochrom> | The church monad: newtype Church e a = Church (e -> a) |
| 2021-03-02 20:55:43 | <boxscape> | @quote Church.and.state |
| 2021-03-02 20:55:44 | <lambdabot> | shapr says: Haskell separates Church and state |
| 2021-03-02 20:55:53 | × | hiroaki_ quits (~hiroaki@pd953db72.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2021-03-02 20:57:43 | <monochrom> | cabal-install 3.4's "cabal freeze" saves index-state |
| 2021-03-02 20:57:45 | × | Robert1 quits (~Robert@185.204.1.185) (Remote host closed the connection) |
| 2021-03-02 20:57:52 | → | son0p joins (~son0p@181.136.122.143) |
| 2021-03-02 20:58:05 | → | knupfer joins (~Thunderbi@200116b82ca65800c4196a77311fd48e.dip.versatel-1u1.de) |
| 2021-03-02 20:58:16 | × | dolio quits (~dolio@haskell/developer/dolio) (Ping timeout: 240 seconds) |
| 2021-03-02 21:00:13 | → | Aquazi joins (uid312403@gateway/web/irccloud.com/x-negexpmuxmakobfg) |
| 2021-03-02 21:01:00 | × | vk3wtf_ quits (~doc@115-64-102-158.tpgi.com.au) (Quit: WeeChat 2.9) |
| 2021-03-02 21:01:04 | → | bitmagie joins (~Thunderbi@200116b8065a4e00240d5af81cfca750.dip.versatel-1u1.de) |
| 2021-03-02 21:01:26 | → | vk3wtf joins (~doc@115-64-102-158.tpgi.com.au) |
| 2021-03-02 21:01:54 | → | dolio joins (~dolio@haskell/developer/dolio) |
| 2021-03-02 21:02:00 | × | spiderbubble quits (uid17704@gateway/web/irccloud.com/x-srelmqkmebrzdhfg) (Quit: Connection closed for inactivity) |
| 2021-03-02 21:02:26 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2021-03-02 21:03:20 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-03-02 21:04:55 | × | nerdypepper quits (znc@152.67.162.71) (Ping timeout: 256 seconds) |
| 2021-03-02 21:04:55 | × | interruptinuse quits (~interrupt@girl.mrtheplague.net) (Ping timeout: 256 seconds) |
| 2021-03-02 21:05:29 | × | rkvist quits (~user@138.197.72.132) (Ping timeout: 256 seconds) |
| 2021-03-02 21:05:48 | → | interruptinuse joins (~interrupt@girl.mrtheplague.net) |
| 2021-03-02 21:05:50 | → | joeyh_ joins (~joeyh@kitenet.net) |
| 2021-03-02 21:06:03 | × | turq quits (~electro@unaffiliated/turq) (Ping timeout: 256 seconds) |
| 2021-03-02 21:06:18 | → | nitrix_ joins (~nitrix@haskell/developer/nitrix) |
| 2021-03-02 21:06:24 | × | bitmagie quits (~Thunderbi@200116b8065a4e00240d5af81cfca750.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2021-03-02 21:06:37 | × | energizer quits (~energizer@unaffiliated/energizer) (Ping timeout: 256 seconds) |
| 2021-03-02 21:06:37 | × | nitrix quits (~nitrix@haskell/developer/nitrix) (Ping timeout: 256 seconds) |
| 2021-03-02 21:06:37 | × | ornxka quits (~ornxka@unaffiliated/ornx) (Ping timeout: 256 seconds) |
| 2021-03-02 21:06:37 | × | pounce quits (~pounce@ns379743.ip-5-196-70.eu) (Ping timeout: 256 seconds) |
| 2021-03-02 21:06:37 | × | joeyh quits (~joeyh@kitenet.net) (Ping timeout: 256 seconds) |
| 2021-03-02 21:06:37 | × | davean quits (~davean@davean.sciesnet.net) (Ping timeout: 256 seconds) |
| 2021-03-02 21:06:37 | × | heath quits (~heath@unaffiliated/ybit) (Ping timeout: 256 seconds) |
| 2021-03-02 21:06:37 | × | mstruebing quits (~mstruebin@ns399634.ip-5-39-81.eu) (Ping timeout: 256 seconds) |
| 2021-03-02 21:06:37 | × | stvc quits (~stvc@192.241.166.39) (Ping timeout: 256 seconds) |
| 2021-03-02 21:06:37 | × | neobit quits (~neobit@159.65.243.9) (Ping timeout: 256 seconds) |
| 2021-03-02 21:06:50 | → | nerdypepper joins (znc@152.67.162.71) |
| 2021-03-02 21:06:51 | → | rkvist joins (~user@138.197.72.132) |
| 2021-03-02 21:07:06 | → | ornxka joins (~ornxka@unaffiliated/ornx) |
| 2021-03-02 21:07:11 | × | deu quits (de@uio.re) (Ping timeout: 256 seconds) |
| 2021-03-02 21:07:11 | × | tureba quits (~tureba@tureba.org) (Ping timeout: 256 seconds) |
| 2021-03-02 21:07:14 | → | energizer joins (~energizer@unaffiliated/energizer) |
| 2021-03-02 21:07:22 | → | turq joins (~electro@138.197.8.173) |
| 2021-03-02 21:07:25 | → | deu joins (de@uio.re) |
| 2021-03-02 21:07:28 | → | tureba joins (~tureba@tureba.org) |
| 2021-03-02 21:07:31 | → | neobit joins (~neobit@159.65.243.9) |
| 2021-03-02 21:07:43 | → | davean joins (~davean@davean.sciesnet.net) |
| 2021-03-02 21:07:47 | → | heath joins (~heath@unaffiliated/ybit) |
| 2021-03-02 21:07:49 | → | stvc joins (~stvc@192.241.166.39) |
| 2021-03-02 21:08:03 | × | Deide quits (~Deide@217.155.19.23) (Read error: Connection reset by peer) |
| 2021-03-02 21:08:25 | → | Deide joins (~Deide@217.155.19.23) |
| 2021-03-02 21:08:27 | → | mstruebing joins (~mstruebin@2001:41d0:8:93c7::1) |
| 2021-03-02 21:08:35 | → | pounce joins (~pounce@ns379743.ip-5-196-70.eu) |
| 2021-03-02 21:08:59 | × | Deide quits (~Deide@217.155.19.23) (Client Quit) |
| 2021-03-02 21:09:35 | → | hiroaki_ joins (~hiroaki@2a02:8108:8c40:2bb8:3156:67e7:d2bc:c6e) |
| 2021-03-02 21:10:39 | <ezzieyguywuf> | gahhh why did uuid bump tasty lower bound |
| 2021-03-02 21:10:45 | <ezzieyguywuf> | makes my life more difficult |
| 2021-03-02 21:11:31 | → | Benzi-Junior joins (~BenziJuni@88-149-67-143.du.xdsl.is) |
| 2021-03-02 21:11:47 | → | Deide joins (~Deide@217.155.19.23) |
| 2021-03-02 21:12:18 | → | usr25 joins (~usr25@unaffiliated/usr25) |
| 2021-03-02 21:13:45 | × | Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer) |
| 2021-03-02 21:13:53 | → | kodein joins (~kodein@217.146.82.202) |
| 2021-03-02 21:14:01 | × | raym quits (~ray@45.64.220.3) (Ping timeout: 276 seconds) |
| 2021-03-02 21:14:05 | × | Deide quits (~Deide@217.155.19.23) (Read error: Connection reset by peer) |
| 2021-03-02 21:14:11 | → | mmmattyx joins (uid17782@gateway/web/irccloud.com/x-gsievxjzurffeyjb) |
| 2021-03-02 21:15:00 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-03-02 21:16:09 | → | fendor_ joins (~fendor@91.141.0.81.wireless.dyn.drei.com) |
| 2021-03-02 21:16:10 | → | Deide joins (~Deide@217.155.19.23) |
| 2021-03-02 21:16:44 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-02 21:18:27 | × | jpds_ quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2021-03-02 21:18:56 | × | fendor quits (~fendor@91.141.3.125.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 2021-03-02 21:19:05 | → | jpds_ joins (~jpds@gateway/tor-sasl/jpds) |
| 2021-03-02 21:19:43 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-02 21:20:44 | → | raym joins (~ray@45.64.220.3) |
| 2021-03-02 21:25:10 | → | conal_ joins (~conal@66.115.157.144) |
| 2021-03-02 21:25:29 | × | conal quits (~conal@64.71.133.70) (Ping timeout: 245 seconds) |
| 2021-03-02 21:26:33 | × | bobiusbillius quits (~bobiusbil@2a00:23c7:9909:5b01:909a:85aa:703a:457c) (Ping timeout: 272 seconds) |
| 2021-03-02 21:27:09 | × | supercoven quits (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (Ping timeout: 245 seconds) |
| 2021-03-02 21:29:01 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:2d2c:7153:bdbb:6201) (Remote host closed the connection) |
| 2021-03-02 21:32:45 | × | Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer) |
| 2021-03-02 21:34:02 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-03-02 21:43:37 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:2d2c:7153:bdbb:6201) |
| 2021-03-02 21:43:48 | × | wmacmil quits (~wmacmil@c83-252-138-144.bredband.comhem.se) (Ping timeout: 245 seconds) |
| 2021-03-02 21:45:13 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 2021-03-02 21:45:33 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-02 21:46:25 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-03-02 21:47:35 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-02 21:48:36 | × | alx741 quits (~alx741@181.196.68.52) (Ping timeout: 240 seconds) |
| 2021-03-02 21:49:13 | → | wmacmil joins (~wmacmil@c83-252-138-144.bredband.comhem.se) |
| 2021-03-02 21:51:06 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-02 21:51:23 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-03-02 21:54:14 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-03-02 21:55:49 | cole-h | is now known as COLE-H |
| 2021-03-02 21:55:54 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-03-02 21:56:23 | jess | is now known as J |
All times are in UTC.