Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 660 661 662 663 664 665 666 667 668 669 670 .. 5022
— 502,152 events total
2020-10-15 23:33:06 → day joins (~Unknown@unaffiliated/day)
2020-10-15 23:33:10 → Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-15 23:33:28 × Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 260 seconds)
2020-10-15 23:34:32 × Tuplanolla quits (~Tuplanoll@91.159.68.239) (Quit: Leaving.)
2020-10-15 23:35:46 → kupi joins (uid212005@gateway/web/irccloud.com/x-xztwkgxiilqycepj)
2020-10-15 23:36:25 <monochrom> May I talk you into ∷:
2020-10-15 23:36:33 <koz_> monochrom:
2020-10-15 23:36:38 <koz_> LOL
2020-10-15 23:37:11 <monochrom> U+2237 then colon
2020-10-15 23:37:27 <justsomeguy> seems to be the proportion symbol
2020-10-15 23:37:35 <monochrom> yeah
2020-10-15 23:37:57 <Cale> ⣶
2020-10-15 23:37:59 → jgt1 joins (~jgt@77-255-14-254.adsl.inetia.pl)
2020-10-15 23:38:12 <justsomeguy> Dominoes or braille?
2020-10-15 23:38:21 <Cale> braille
2020-10-15 23:40:15 → centril joins (~centril@213-66-146-92-no250.tbcn.telia.com)
2020-10-15 23:40:18 justsomeguy has always thought it would be cool to have a colorscheme + font that de-emphasizes punctuation, makes ::: a ligature, and emboldens names.
2020-10-15 23:40:21 → sleblanc joins (~sleblanc@unaffiliated/sebleblanc)
2020-10-15 23:40:26 <justsomeguy> ::, even
2020-10-15 23:41:20 <koz_> I can write 'foo . bar . baz $ quux'. Suppose I wanted to do the same with (>>>): '_ quux >>> baz >>> bar >>> foo'. What goes in _?
2020-10-15 23:42:22 × elliott__ quits (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 246 seconds)
2020-10-15 23:42:57 <justsomeguy> Maybe “Data.Function.&”?
2020-10-15 23:43:11 <koz_> :t (&)
2020-10-15 23:43:12 <lambdabot> a -> (a -> b) -> b
2020-10-15 23:43:26 <justsomeguy> It's like the reverse of “($)”.
2020-10-15 23:43:41 <justsomeguy> It's... also just my wild guess.
2020-10-15 23:44:20 <koz_> Can confirm it is not that, justsomeguy.
2020-10-15 23:44:30 <koz_> Someone told me this here a while ago, but I have since forgotten.
2020-10-15 23:44:41 <justsomeguy> Sorry ^_^; I tried.
2020-10-15 23:45:50 <monochrom> x & f >>> g >>> h
2020-10-15 23:46:04 <monochrom> I haven't checked precedence though.
2020-10-15 23:46:15 <nshepperd2> % :i &
2020-10-15 23:46:15 <yahb> nshepperd2: (&) :: a -> (a -> b) -> b -- Defined in `Data.Function'; infixl 1 &
2020-10-15 23:46:18 × elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 260 seconds)
2020-10-15 23:46:20 <nshepperd2> % :i >>>
2020-10-15 23:46:20 <yahb> nshepperd2: (>>>) :: forall k (cat :: k -> k -> *) (a :: k) (b :: k) (c :: k). Category cat => cat a b -> cat b c -> cat a c -- Defined in `Control.Category'; infixr 1 >>>
2020-10-15 23:46:29 <nshepperd2> unfortunate
2020-10-15 23:46:39 → Amras joins (~Amras@unaffiliated/amras0000)
2020-10-15 23:46:41 <koz_> monochrom: Yep, they're both infix 1, though with different associativity.
2020-10-15 23:48:16 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-15 23:50:58 × pera quits (~pera@unaffiliated/pera) (Ping timeout: 260 seconds)
2020-10-15 23:51:04 → ensyde joins (~ensyde@2600:1702:2e30:1a40:48f9:cdc3:db29:25b7)
2020-10-15 23:51:25 × untseac quits (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) (Ping timeout: 240 seconds)
2020-10-15 23:51:51 → karanlikmadde joins (~karanlikm@2a01:c22:3472:9400:2911:7597:97b9:174f)
2020-10-15 23:52:18 → conal joins (~conal@64.71.133.70)
2020-10-15 23:52:36 → pera joins (~pera@unaffiliated/pera)
2020-10-15 23:53:43 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:1d95:d5fb:2f0c:fa1f) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-15 23:54:32 → OmegaDoug joins (8e750cd2@lnsm3-torontoxn-142-117-12-210.internet.virginmobile.ca)
2020-10-15 23:55:27 × GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-15 23:55:38 → GyroW joins (~GyroW@d54C03E98.access.telenet.be)
2020-10-15 23:55:38 × GyroW quits (~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-15 23:55:38 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-15 23:56:22 <OmegaDoug> With megaparsec, how can I parse just three digits? I want to parse "123.123" and believe I should be able to capture the first three digits using "fstThree <- count 3 L.decimal" but that produces the error "unexpected end of input"
2020-10-15 23:57:09 <{abby}> decimal is a number, for a digit you want digitChar
2020-10-15 23:57:45 → addcninblue joins (~addison@c-73-158-198-149.hsd1.ca.comcast.net)
2020-10-15 23:58:23 <OmegaDoug> {abby} That was exactly it. Thanks.
2020-10-15 23:59:59 → day_ joins (~Unknown@unaffiliated/day)
2020-10-16 00:00:02 × schwuk quits (~schwuk@178.162.209.171) ()
2020-10-16 00:01:12 ← addcninblue parts (~addison@c-73-158-198-149.hsd1.ca.comcast.net) ("WeeChat 2.9")
2020-10-16 00:02:09 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-16 00:02:25 × day quits (~Unknown@unaffiliated/day) (Ping timeout: 240 seconds)
2020-10-16 00:02:25 day_ is now known as day
2020-10-16 00:02:40 <dsal> is `count` just `replicateM`?
2020-10-16 00:02:47 × karanlikmadde quits (~karanlikm@2a01:c22:3472:9400:2911:7597:97b9:174f) (Quit: karanlikmadde)
2020-10-16 00:02:57 <koz_> :t count
2020-10-16 00:02:59 <lambdabot> error:
2020-10-16 00:02:59 <lambdabot> • Variable not in scope: count
2020-10-16 00:02:59 <lambdabot> • Perhaps you meant one of these:
2020-10-16 00:07:05 → isovector1 joins (~isovector@172.103.216.166)
2020-10-16 00:08:01 × natechan quits (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds)
2020-10-16 00:08:33 → natechan joins (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2020-10-16 00:08:57 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 272 seconds)
2020-10-16 00:11:41 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-10-16 00:11:50 → da39a3ee5e6b4b0d joins (~textual@n11211935170.netvigator.com)
2020-10-16 00:20:21 × mirrorbird quits (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Ping timeout: 272 seconds)
2020-10-16 00:21:16 × polyrain quits (~polyrain@2001:8003:e501:6901:5438:7f7:706e:c9b0) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-16 00:21:23 × Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2020-10-16 00:22:22 → I440r joins (~I440r@195.206.169.184)
2020-10-16 00:24:37 × Unhammer quits (~Unhammer@gateway/tor-sasl/unhammer) (Remote host closed the connection)
2020-10-16 00:24:59 → Deide joins (~Deide@217.155.19.23)
2020-10-16 00:25:01 × stree quits (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception)
2020-10-16 00:25:18 → stree joins (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net)
2020-10-16 00:26:36 × nados quits (~dan@107-190-41-58.cpe.teksavvy.com) (Remote host closed the connection)
2020-10-16 00:29:26 × carlomagno quits (~cararell@inet-hqmc02-o.oracle.com) (Remote host closed the connection)
2020-10-16 00:30:07 → carlomagno joins (~cararell@inet-hqmc01-o.oracle.com)
2020-10-16 00:30:07 → jedws joins (~jedws@121.209.161.98)
2020-10-16 00:31:08 → addcninblue joins (~addison@c-73-158-198-149.hsd1.ca.comcast.net)
2020-10-16 00:31:17 → GyroW_ joins (~GyroW@d54C03E98.access.telenet.be)
2020-10-16 00:31:17 × GyroW_ quits (~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-16 00:31:17 → GyroW_ joins (~GyroW@unaffiliated/gyrow)
2020-10-16 00:31:43 × GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds)
2020-10-16 00:32:11 × jespada quits (~jespada@90.254.245.15) (Ping timeout: 260 seconds)
2020-10-16 00:33:01 → inkbottle joins (~inkbottle@aaubervilliers-654-1-104-11.w86-212.abo.wanadoo.fr)
2020-10-16 00:34:12 × zebrag quits (~inkbottle@aaubervilliers-654-1-5-60.w83-200.abo.wanadoo.fr) (Ping timeout: 256 seconds)
2020-10-16 00:34:35 → jespada joins (~jespada@90.254.245.15)
2020-10-16 00:36:18 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-10-16 00:39:36 → Unhammer joins (~Unhammer@gateway/tor-sasl/unhammer)
2020-10-16 00:42:27 hackage refinery 0.3.0.0 - Toolkit for building proof automation systems https://hackage.haskell.org/package/refinery-0.3.0.0 (ReedMullanix)
2020-10-16 00:42:55 → oxide joins (~lambda@unaffiliated/mclaren)
2020-10-16 00:43:56 → elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
←Prev  Next→
Page 1 .. 660 661 662 663 664 665 666 667 668 669 670 .. 5022

All times are in UTC.