Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 3565 3566 3567 3568 3569 3570 3571 3572 3573 3574 3575 .. 5022
— 502,152 events total
2021-03-02 03:34:15 × i7c quits (VUiM3ot5bI@unaffiliated/i7c) (Ping timeout: 264 seconds)
2021-03-02 03:34:57 × Blkt quits (~Blkt@2a01:4f8:200:2425::adda) (Ping timeout: 272 seconds)
2021-03-02 03:42:08 × geowiesnot_bis quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 245 seconds)
2021-03-02 03:44:36 → Blkt joins (~Blkt@2a01:4f8:200:2425::adda)
2021-03-02 03:44:37 → geowiesnot_bis joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-03-02 03:45:06 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:c491:50f:2150:49a6)
2021-03-02 03:45:35 × theDon quits (~td@muedsl-82-207-238-184.citykom.de) (Ping timeout: 240 seconds)
2021-03-02 03:46:04 → yushyin joins (UeEdseyCqW@karif.server-speed.net)
2021-03-02 03:46:04 → i7c joins (BTz9c9Bghc@unaffiliated/i7c)
2021-03-02 03:46:04 → o1lo01ol1o joins (~o1lo01ol1@bl7-89-228.dsl.telepac.pt)
2021-03-02 03:46:22 → noctuks joins (LDK5x9ebpQ@unaffiliated/noctux)
2021-03-02 03:46:57 → pavonia joins (~user@unaffiliated/siracusa)
2021-03-02 03:47:46 → theDon joins (~td@94.134.91.242)
2021-03-02 03:50:34 × o1lo01ol1o quits (~o1lo01ol1@bl7-89-228.dsl.telepac.pt) (Ping timeout: 260 seconds)
2021-03-02 03:50:52 → plutoniix joins (~q@184.82.220.117)
2021-03-02 03:55:09 × machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 264 seconds)
2021-03-02 03:55:37 → redmp joins (~redmp@172.58.38.231)
2021-03-02 03:58:03 × tinhatcat quits (~tsranso@2600:1700:ae40:21c8:883b:8e1b:48a:92f0) (Quit: Leaving)
2021-03-02 03:58:13 → tinhatcat joins (~tsranso@2600:1700:ae40:21c8:883b:8e1b:48a:92f0)
2021-03-02 03:58:59 <c_wraith> monochrom: I'm all-in on DuplicateRecordFields, NoFieldSelectors, and OverloadedLabels. RecordDotSyntax seems like a mess that I don't need
2021-03-02 03:59:33 <c_wraith> Seriously, why . of all things? It has too many different meanings already
2021-03-02 03:59:52 × apache801 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 276 seconds)
2021-03-02 04:00:53 × SupaYoshii quits (~supayoshi@213-10-140-13.fixed.kpn.net) (Quit: Goodbye!)
2021-03-02 04:01:51 → SupaYoshi joins (~supayoshi@213-10-140-13.fixed.kpn.net)
2021-03-02 04:01:54 <rednaZ[m]> I second this.
2021-03-02 04:02:49 × noCheese quits (~nocheese@unaffiliated/nocheese) (Ping timeout: 272 seconds)
2021-03-02 04:03:12 × geyaeb quits (~geyaeb@gateway/tor-sasl/geyaeb) (Ping timeout: 268 seconds)
2021-03-02 04:03:12 × denisse quits (~spaceCat@gateway/tor-sasl/alephzer0) (Ping timeout: 268 seconds)
2021-03-02 04:03:50 × finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds)
2021-03-02 04:03:50 × teardown quits (~user@gateway/tor-sasl/mrush) (Ping timeout: 268 seconds)
2021-03-02 04:04:27 × Unhammer quits (~Unhammer@gateway/tor-sasl/unhammer) (Ping timeout: 268 seconds)
2021-03-02 04:04:27 × jpds_ quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds)
2021-03-02 04:04:27 × srk quits (~sorki@gateway/tor-sasl/sorki) (Ping timeout: 268 seconds)
2021-03-02 04:04:27 × hexo quits (~hexo@gateway/tor-sasl/hexo) (Ping timeout: 268 seconds)
2021-03-02 04:04:27 × gioyik quits (~gioyik@gateway/tor-sasl/gioyik) (Ping timeout: 268 seconds)
2021-03-02 04:04:27 × andreas303 quits (~andreas@gateway/tor-sasl/andreas303) (Ping timeout: 268 seconds)
2021-03-02 04:04:27 × hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 268 seconds)
2021-03-02 04:04:27 × jb55 quits (~jb55@gateway/tor-sasl/jb55) (Ping timeout: 268 seconds)
2021-03-02 04:04:27 × xelxebar quits (~xelxebar@gateway/tor-sasl/xelxebar) (Ping timeout: 268 seconds)
2021-03-02 04:04:27 × Chai-T-Rex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Ping timeout: 268 seconds)
2021-03-02 04:04:27 × vgtw quits (~vgtw@gateway/tor-sasl/vgtw) (Ping timeout: 268 seconds)
2021-03-02 04:05:04 × cartwright quits (~chatting@gateway/tor-sasl/cantstanya) (Ping timeout: 268 seconds)
2021-03-02 04:06:16 → forgottenone joins (~forgotten@176.42.24.53)
2021-03-02 04:11:19 × elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 245 seconds)
2021-03-02 04:12:13 → dan64- joins (~dan64@dannyadam.com)
2021-03-02 04:12:42 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-02 04:12:51 × dan64 quits (~dan64@dannyadam.com) (Ping timeout: 256 seconds)
2021-03-02 04:14:07 × dan64- quits (~dan64@dannyadam.com) (Client Quit)
2021-03-02 04:14:24 → dan64 joins (~dan64@dannyadam.com)
2021-03-02 04:14:59 × zebrag quits (~inkbottle@aaubervilliers-654-1-83-46.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-02 04:15:53 × kupi quits (uid212005@gateway/web/irccloud.com/x-vhrafoxqkobeyjua) (Quit: Connection closed for inactivity)
2021-03-02 04:16:06 → jamm_ joins (~jamm@unaffiliated/jamm)
2021-03-02 04:16:14 → hexo joins (~hexo@gateway/tor-sasl/hexo)
2021-03-02 04:16:14 → srk joins (~sorki@gateway/tor-sasl/sorki)
2021-03-02 04:16:14 → xelxebar joins (~xelxebar@gateway/tor-sasl/xelxebar)
2021-03-02 04:16:18 → geyaeb joins (~geyaeb@gateway/tor-sasl/geyaeb)
2021-03-02 04:16:22 → vgtw joins (~vgtw@gateway/tor-sasl/vgtw)
2021-03-02 04:16:23 → denisse joins (~spaceCat@gateway/tor-sasl/alephzer0)
2021-03-02 04:16:25 → jb55 joins (~jb55@gateway/tor-sasl/jb55)
2021-03-02 04:16:53 → Unhammer joins (~Unhammer@gateway/tor-sasl/unhammer)
2021-03-02 04:17:49 → noCheese joins (~nocheese@gw2.aibor.de)
2021-03-02 04:17:49 × noCheese quits (~nocheese@gw2.aibor.de) (Changing host)
2021-03-02 04:17:49 → noCheese joins (~nocheese@unaffiliated/nocheese)
2021-03-02 04:18:03 → cartwright joins (~chatting@gateway/tor-sasl/cantstanya)
2021-03-02 04:18:04 → jpds_ joins (~jpds@gateway/tor-sasl/jpds)
2021-03-02 04:18:09 → hendursaga joins (~weechat@gateway/tor-sasl/hendursaga)
2021-03-02 04:19:10 → apache801 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net)
2021-03-02 04:19:39 × ralu quits (~ralu@static.211.245.203.116.clients.your-server.de) (Ping timeout: 256 seconds)
2021-03-02 04:19:50 → nineonine joins (~nineonine@50.216.62.2)
2021-03-02 04:20:33 × jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 272 seconds)
2021-03-02 04:20:52 × jpds_ quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2021-03-02 04:20:55 → finn_elija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-03-02 04:21:13 → jpds_ joins (~jpds@gateway/tor-sasl/jpds)
2021-03-02 04:21:17 → Chai-T-Rex joins (~ChaiTRex@gateway/tor-sasl/chaitrex)
2021-03-02 04:21:18 → teardown joins (~user@gateway/tor-sasl/mrush)
2021-03-02 04:21:25 → gioyik joins (~gioyik@gateway/tor-sasl/gioyik)
2021-03-02 04:21:28 → ralu joins (~ralu@static.211.245.203.116.clients.your-server.de)
2021-03-02 04:21:30 → andreas303 joins (~andreas@gateway/tor-sasl/andreas303)
2021-03-02 04:21:30 × conal quits (~conal@64.71.133.70) (Read error: Connection reset by peer)
2021-03-02 04:22:19 × drbean_ quits (~drbean@TC210-63-209-87.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in)
2021-03-02 04:24:02 × xff0x quits (~xff0x@2001:1a81:53bf:4d00:1f54:39b5:d417:5062) (Ping timeout: 264 seconds)
2021-03-02 04:24:46 → xff0x joins (~xff0x@2001:1a81:53bf:4d00:4425:e0a9:a29b:345e)
2021-03-02 04:27:26 → conal joins (~conal@64.71.133.70)
2021-03-02 04:29:36 <Xnuk> let's do `import Prelude hiding ((.))`
2021-03-02 04:31:23 <boxscape> % let f ∘ g = \x -> f (g x)
2021-03-02 04:31:24 <yahb> boxscape:
2021-03-02 04:31:47 <Xnuk> :t (<<<)
2021-03-02 04:31:49 <lambdabot> forall k (cat :: k -> k -> *) (b :: k) (c :: k) (a :: k). Category cat => cat b c -> cat a b -> cat a c
2021-03-02 04:31:50 <nshepperd2> our keyboards need more symbols
2021-03-02 04:32:24 <Xnuk> >> (/2) <<< (+1) $ 10
2021-03-02 04:32:29 <Xnuk> > (/2) <<< (+1) $ 10
2021-03-02 04:32:30 <lambdabot> 5.5
2021-03-02 04:34:06 <Xnuk> :t ((.).(.)) (($).($)) ((.)$(.))
2021-03-02 04:34:07 <lambdabot> (a1 -> b -> c) -> a1 -> (a2 -> b) -> a2 -> c
2021-03-02 04:35:54 <nshepperd2> trouble is, every symbol on a standard us keyboard is either used for some other ghc syntax already, or defined as an operator by some user
2021-03-02 04:36:09 <nshepperd2> except possibly `
2021-03-02 04:36:09 <boxscape> just make your operators twice as long
2021-03-02 04:36:37 <nshepperd2> -XRecordBacktickSyntax foo`x`y`z
2021-03-02 04:36:48 <dolio> Backticks are already syntax.
2021-03-02 04:37:06 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
←Prev  Next→
Page 1 .. 3565 3566 3567 3568 3569 3570 3571 3572 3573 3574 3575 .. 5022

All times are in UTC.