Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 493 494 495 496 497 498 499 500 501 502 503 .. 5022
— 502,152 events total
2020-10-07 18:34:06 × alp quits (~alp@2a01:e0a:58b:4920:78a9:bf4d:b06b:60d7) (Remote host closed the connection)
2020-10-07 18:34:09 → chaosmasttter joins (~chaosmast@p200300c4a70b400140e8baf6489c3871.dip0.t-ipconnect.de)
2020-10-07 18:34:17 → alp joins (~alp@2a01:e0a:58b:4920:a993:b715:b3da:be82)
2020-10-07 18:37:35 × snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 256 seconds)
2020-10-07 18:39:10 → John20 joins (~John@82.46.59.122)
2020-10-07 18:40:02 × wroathe_ quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2020-10-07 18:41:23 × ralejs quits (~ralejs@2620:10d:c093:400::5:a494) (Read error: Connection reset by peer)
2020-10-07 18:41:37 → wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-10-07 18:42:09 → ralejs joins (~ralejs@2620:10d:c093:400::5:a494)
2020-10-07 18:45:59 → ack30 joins (49ca7507@c-73-202-117-7.hsd1.ca.comcast.net)
2020-10-07 18:46:11 × ack30 quits (49ca7507@c-73-202-117-7.hsd1.ca.comcast.net) (Remote host closed the connection)
2020-10-07 18:46:44 × o1lo01ol1o quits (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Remote host closed the connection)
2020-10-07 18:47:07 × jrqc quits (~rofl@96.78.87.197) (Ping timeout: 258 seconds)
2020-10-07 18:48:27 → jrqc joins (~rofl@96.78.87.197)
2020-10-07 18:52:25 × DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Ping timeout: 264 seconds)
2020-10-07 18:53:25 × Geraldus quits (1fa31137@31.163.17.55) (Remote host closed the connection)
2020-10-07 18:55:53 × Buntspecht quits (~user@unaffiliated/siracusa) (Ping timeout: 244 seconds)
2020-10-07 18:57:24 → Buntspecht joins (~user@unaffiliated/siracusa)
2020-10-07 19:00:25 × jcazevedo quits (~jcazevedo@165.237.60.94.rev.vodafone.pt) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-07 19:02:33 → mirrorbird joins (~psutcliff@2a00:801:3f8:10df:3fb2:3ec3:6676:3873)
2020-10-07 19:04:16 → oldsk00l joins (~znc@ec2-18-130-254-135.eu-west-2.compute.amazonaws.com)
2020-10-07 19:06:34 <hololeap> % :t these
2020-10-07 19:06:35 <yahb> hololeap: ; <interactive>:1:1: error: Variable not in scope: these
2020-10-07 19:06:52 <hololeap> % :m + Data.Semialign
2020-10-07 19:06:52 <yahb> hololeap: ; <no location info>: error:; Could not find module `Data.Semialign'; It is not a module in the current program, or in any known package.
2020-10-07 19:07:24 megaTherion_ is now known as megaTherion
2020-10-07 19:08:26 → tito_04 joins (~taurux@net-188-152-14-152.cust.dsl.teletu.it)
2020-10-07 19:09:10 × rekahsoft quits (~rekahsoft@CPE0008a20f982f-CM64777d666260.cpe.net.cable.rogers.com) (Ping timeout: 272 seconds)
2020-10-07 19:09:13 → snakemas1 joins (~snakemast@213.100.206.23)
2020-10-07 19:09:19 × taurux quits (~taurux@net-130-25-101-135.cust.vodafonedsl.it) (Ping timeout: 256 seconds)
2020-10-07 19:13:53 → livvy joins (~livvy@gateway/tor-sasl/livvy)
2020-10-07 19:13:55 → Lycurgus joins (~niemand@98.4.96.130)
2020-10-07 19:14:09 × snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 265 seconds)
2020-10-07 19:14:16 → brandly joins (~brandly@c-73-68-15-46.hsd1.ma.comcast.net)
2020-10-07 19:14:24 × jonatanb quits (~jonatanb@79.184.190.239.ipv4.supernova.orange.pl) (Quit: Leaving...)
2020-10-07 19:15:13 × cyphase quits (~cyphase@unaffiliated/cyphase) (Ping timeout: 264 seconds)
2020-10-07 19:16:52 → o1lo01ol1o joins (~o1lo01ol1@bl11-140-216.dsl.telepac.pt)
2020-10-07 19:17:52 × LKoen quits (~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr) (Remote host closed the connection)
2020-10-07 19:17:58 × Saukk quits (~Saukk@2001:998:f1:3963:1c59:9bb5:b94c:2) (Remote host closed the connection)
2020-10-07 19:18:39 → cyphase joins (~cyphase@unaffiliated/cyphase)
2020-10-07 19:20:27 × alp quits (~alp@2a01:e0a:58b:4920:a993:b715:b3da:be82) (Ping timeout: 272 seconds)
2020-10-07 19:21:24 × o1lo01ol1o quits (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 265 seconds)
2020-10-07 19:22:46 × conal quits (~conal@209.58.130.230) (Quit: Computer has gone to sleep.)
2020-10-07 19:22:57 hackage bidirectional 0.1.0.0 - Simple bidirectional serialization and deserialization https://hackage.haskell.org/package/bidirectional-0.1.0.0 (MasseR)
2020-10-07 19:24:49 × bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 260 seconds)
2020-10-07 19:25:18 × cheers- quits (user@unaffiliated/cheers) (Quit: cheers-)
2020-10-07 19:26:50 → cheers joins (user@unaffiliated/cheers)
2020-10-07 19:33:33 × elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Read error: Connection reset by peer)
2020-10-07 19:33:43 × oldsk00l quits (~znc@ec2-18-130-254-135.eu-west-2.compute.amazonaws.com) (Remote host closed the connection)
2020-10-07 19:36:43 → oldsk00l joins (~znc@ec2-18-130-254-135.eu-west-2.compute.amazonaws.com)
2020-10-07 19:38:08 × mirrorbird quits (~psutcliff@2a00:801:3f8:10df:3fb2:3ec3:6676:3873) (Remote host closed the connection)
2020-10-07 19:38:20 → o1lo01ol1o joins (~o1lo01ol1@bl11-140-216.dsl.telepac.pt)
2020-10-07 19:38:32 → mirrorbird joins (~psutcliff@2a00:801:3f8:10df:3fb2:3ec3:6676:3873)
2020-10-07 19:40:27 → conal joins (~conal@209.58.130.230)
2020-10-07 19:40:56 → snakemas1 joins (~snakemast@213.100.206.23)
2020-10-07 19:45:25 × snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 240 seconds)
2020-10-07 19:47:41 × Raito_Bezarius quits (~Raito_Bez@unaffiliated/raito-bezarius/x-8764578) (Ping timeout: 272 seconds)
2020-10-07 19:49:52 <koz_> Is Cont r a co, contra, or invariant in r?
2020-10-07 19:50:48 <monochrom> Invariant. Consider the special case Cont r () = (() -> r) -> r = r -> r
2020-10-07 19:50:56 × ransom quits (c4264035@gateway/vpn/protonvpn/c4264035) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-07 19:51:11 <koz_> monochrom: Fair.
2020-10-07 19:51:40 <koz_> I had a suspicion it was that, but good to have proof.
2020-10-07 19:52:59 nf is now known as necroflurtle
2020-10-07 19:54:11 necroflurtle is now known as nf
2020-10-07 19:57:00 × jespada quits (~jespada@90.254.245.15) (Quit: Leaving)
2020-10-07 19:57:17 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-07 19:57:37 → sand_dull joins (~theuser@104.140.53.43)
2020-10-07 19:58:35 × fendor__ quits (~fendor@e237-037.eduroam.tuwien.ac.at) (Remote host closed the connection)
2020-10-07 19:59:49 → Raito_Bezarius joins (~Raito_Bez@unaffiliated/raito-bezarius/x-8764578)
2020-10-07 20:01:03 → bahamas joins (~lucian@unaffiliated/bahamas)
2020-10-07 20:01:15 → Buntspecht_ joins (~user@unaffiliated/siracusa)
2020-10-07 20:01:46 × Buntspecht quits (~user@unaffiliated/siracusa) (Read error: Connection reset by peer)
2020-10-07 20:01:56 Buntspecht_ is now known as Buntspecht
2020-10-07 20:02:22 × John20 quits (~John@82.46.59.122) (Ping timeout: 256 seconds)
2020-10-07 20:02:55 → John20 joins (~John@92.40.187.37.threembb.co.uk)
2020-10-07 20:03:01 × aweinstock quits (~aweinstoc@cpe-67-248-65-250.nycap.res.rr.com) (Ping timeout: 246 seconds)
2020-10-07 20:04:29 × ixlun quits (~matthew@213.205.241.94) (Ping timeout: 260 seconds)
2020-10-07 20:05:01 × sand_dull quits (~theuser@104.140.53.43) (Ping timeout: 264 seconds)
2020-10-07 20:05:44 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-07 20:05:48 → wroathe_ joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-07 20:06:18 × geekosaur quits (ac3a8bcd@172.58.139.205) (Remote host closed the connection)
2020-10-07 20:06:25 × wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-07 20:06:49 × bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 260 seconds)
2020-10-07 20:07:01 × stree quits (~stree@50-108-75-26.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception)
2020-10-07 20:07:18 → stree joins (~stree@50-108-75-26.adr01.mskg.mi.frontiernet.net)
2020-10-07 20:07:25 → geekosaur joins (ac3a8bf1@172.58.139.241)
2020-10-07 20:08:00 → sand_dull joins (~theuser@104.140.53.43)
2020-10-07 20:08:50 × stree quits (~stree@50-108-75-26.adr01.mskg.mi.frontiernet.net) (Client Quit)
2020-10-07 20:09:07 → stree joins (~stree@50-108-75-26.adr01.mskg.mi.frontiernet.net)
2020-10-07 20:11:01 × wroathe_ quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2020-10-07 20:12:25 → rprije joins (~rprije@203.214.95.251)
2020-10-07 20:13:45 × GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-07 20:14:04 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-07 20:14:04 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-07 20:14:04 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-07 20:14:11 → thir joins (~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de)
2020-10-07 20:15:20 → _ashbreeze_ joins (~mark@72-161-254-200.dyn.centurytel.net)
2020-10-07 20:15:55 × kritzefitz quits (~kritzefit@200116b800861f00d9c841e4661e7ddf.dip.versatel-1u1.de) (Remote host closed the connection)
2020-10-07 20:16:03 × ashbreeze quits (~mark@72-161-254-200.dyn.centurytel.net) (Ping timeout: 258 seconds)
2020-10-07 20:17:19 × sand_dull quits (~theuser@104.140.53.43) (Ping timeout: 256 seconds)
←Prev  Next→
Page 1 .. 493 494 495 496 497 498 499 500 501 502 503 .. 5022

All times are in UTC.