Logs: freenode/#haskell
| 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) |
All times are in UTC.