Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4002 4003 4004 4005 4006 4007 4008 4009 4010 4011 4012 .. 5022
— 502,152 events total
2021-03-24 13:57:45 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-24 13:58:53 × jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2021-03-24 13:58:57 × Guest8601 quits (~textual@mskresolve-a.mskcc.org) (Ping timeout: 244 seconds)
2021-03-24 13:59:14 → jpds joins (~jpds@gateway/tor-sasl/jpds)
2021-03-24 14:00:01 → heatsink joins (~heatsink@2600:1700:bef1:5e10:b09b:3609:dd4b:42c9)
2021-03-24 14:00:48 × Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-03-24 14:00:51 × jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2021-03-24 14:01:03 × emmanuel_erc quits (~user@cpe-74-71-106-64.nyc.res.rr.com) (Ping timeout: 256 seconds)
2021-03-24 14:01:16 → jpds joins (~jpds@gateway/tor-sasl/jpds)
2021-03-24 14:01:22 → Alleria joins (~textual@zrcout.mskcc.org)
2021-03-24 14:01:33 → Kaeipi joins (~Kaiepi@47.54.252.148)
2021-03-24 14:01:47 Alleria is now known as Guest39025
2021-03-24 14:01:54 × Kaeipi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-03-24 14:02:14 → Kaeipi joins (~Kaiepi@47.54.252.148)
2021-03-24 14:02:57 → Lycurgus joins (~niemand@98.4.116.165)
2021-03-24 14:03:36 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-24 14:03:56 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-24 14:04:50 × heatsink quits (~heatsink@2600:1700:bef1:5e10:b09b:3609:dd4b:42c9) (Ping timeout: 264 seconds)
2021-03-24 14:06:22 → frozenErebus joins (~frozenEre@94.128.81.87)
2021-03-24 14:08:58 <gentauro> edwardk: they do that so you can have faster compile-times?
2021-03-24 14:12:29 × jb55 quits (~jb55@gateway/tor-sasl/jb55) (Ping timeout: 268 seconds)
2021-03-24 14:13:36 → jumper149 joins (~jumper149@130.75.103.190)
2021-03-24 14:13:44 × jumper149 quits (~jumper149@130.75.103.190) (Client Quit)
2021-03-24 14:14:58 → jb55 joins (~jb55@gateway/tor-sasl/jb55)
2021-03-24 14:16:00 <edwardk> gentauro: yeah
2021-03-24 14:16:40 <edwardk> gentauro: i'll generally take patches that let you conditionally compile without some subset of packages if it cleanly splits out of the api
2021-03-24 14:17:42 <edwardk> then folks who do sandbox builds (or now just cabal v2 builds) or stack builds can benefit by tuning down the sandbox or cabal.project or stack .yaml file to exclude what isn't needed for their application. can be quite useful on CI in particular.
2021-03-24 14:23:21 × DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2021-03-24 14:23:43 × Major_Biscuit quits (~Major_Bis@82-169-100-198.biz.kpn.net) (Ping timeout: 256 seconds)
2021-03-24 14:24:08 → DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2021-03-24 14:24:34 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection)
2021-03-24 14:24:53 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2021-03-24 14:25:33 × Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator")
2021-03-24 14:25:37 × zebrag quits (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-24 14:25:45 → molehillish joins (~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8)
2021-03-24 14:25:55 × ddellac__ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-03-24 14:25:56 → zebrag joins (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr)
2021-03-24 14:26:23 → Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 14:27:36 → ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-03-24 14:27:41 × dawiss quits (~dawiss@178.43.197.203.ipv4.supernova.orange.pl) (Ping timeout: 256 seconds)
2021-03-24 14:28:11 → bitmapper joins (uid464869@gateway/web/irccloud.com/x-ebwsglbljqlehoxu)
2021-03-24 14:29:16 → dawiss joins (~dawiss@185-119-185-201.actus-info.pl)
2021-03-24 14:29:26 → Major_Biscuit joins (~Major_Bis@82-169-100-198.biz.kpn.net)
2021-03-24 14:30:59 × Lycurgus quits (~niemand@98.4.116.165) (Quit: Exeunt)
2021-03-24 14:31:08 × epicte7us quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 256 seconds)
2021-03-24 14:31:56 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-24 14:32:15 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-24 14:33:15 → kuribas joins (~user@ptr-25vy0i8r3m7ulrlbw64.18120a2.ip6.access.telenet.be)
2021-03-24 14:33:18 → emmanuel_erc joins (~user@2603-7000-9600-01c9-04c4-76ab-ac37-8670.res6.spectrum.com)
2021-03-24 14:35:00 → pavonia joins (~user@unaffiliated/siracusa)
2021-03-24 14:35:57 → marinelli joins (~marinelli@gateway/tor-sasl/marinelli)
2021-03-24 14:36:42 → malumore_ joins (~malumore@151.62.115.239)
2021-03-24 14:37:16 → romesrf joins (~romesrf@44.190.189.46.rev.vodafone.pt)
2021-03-24 14:37:26 <romesrf> hello
2021-03-24 14:38:26 <romesrf> can someone explain/point me to where i can read about what the things in between {} means? newtype Church = Church { unChurch :: ChurchNum }
2021-03-24 14:39:55 × malumore quits (~malumore@151.62.115.239) (Ping timeout: 272 seconds)
2021-03-24 14:40:28 × juri_ quits (~juri@212.86.35.86) (Read error: Connection reset by peer)
2021-03-24 14:40:58 <sclv> romesrf: that's knows as "record syntax" and its in all the standard tutorials and documentation
2021-03-24 14:41:00 → juri_ joins (~juri@212.86.35.86)
2021-03-24 14:44:04 → epicte7us joins (~epictetus@ip72-194-215-136.sb.sd.cox.net)
2021-03-24 14:45:13 <romesrf> sclv: perfect! record syntax - that was exactly it, i've found nice docs :)
2021-03-24 14:48:01 → samthecoy[m]1 joins (samthecoym@gateway/shell/matrix.org/x-dyjfykhwbtubhalr)
2021-03-24 14:49:13 × stree quits (~stree@68.36.8.116) (Ping timeout: 256 seconds)
2021-03-24 14:50:10 × jlamothe quits (~jlamothe@198.251.55.207) (Quit: leaving)
2021-03-24 14:51:09 × Major_Biscuit quits (~Major_Bis@82-169-100-198.biz.kpn.net) (Ping timeout: 265 seconds)
2021-03-24 14:53:54 malumore_ is now known as malumore
2021-03-24 14:54:45 × dawiss quits (~dawiss@185-119-185-201.actus-info.pl) (Ping timeout: 244 seconds)
2021-03-24 14:56:22 → dawiss joins (~dawiss@178.43.197.203.ipv4.supernova.orange.pl)
2021-03-24 15:00:14 × LKoen quits (~LKoen@194.250.88.92.rev.sfr.net) (Remote host closed the connection)
2021-03-24 15:00:51 → heatsink joins (~heatsink@2600:1700:bef1:5e10:b09b:3609:dd4b:42c9)
2021-03-24 15:01:28 → ubert joins (~Thunderbi@p200300ecdf25d975e6b318fffe838f33.dip0.t-ipconnect.de)
2021-03-24 15:02:22 → stree joins (~stree@68.36.8.116)
2021-03-24 15:02:54 × aqd quits (~aqd@84.20.147.33) (Quit: Textual IRC Client: www.textualapp.com)
2021-03-24 15:04:38 → Synthetica joins (uid199651@gateway/web/irccloud.com/x-pidwjwkshsuukvyi)
2021-03-24 15:05:26 × heatsink quits (~heatsink@2600:1700:bef1:5e10:b09b:3609:dd4b:42c9) (Ping timeout: 264 seconds)
2021-03-24 15:06:35 → waleee-cl joins (uid373333@gateway/web/irccloud.com/x-uhyhmepkjdyoglfc)
2021-03-24 15:06:49 × seanparsons quits (~sean@cpc145088-gill21-2-0-cust281.20-1.cable.virginm.net) (Quit: ZNC 1.8.1 - https://znc.in)
2021-03-24 15:07:05 → dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-24 15:07:09 → elliott__ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net)
2021-03-24 15:07:22 → ukari joins (~ukari@unaffiliated/ukari)
2021-03-24 15:07:28 → seanparsons joins (~sean@cpc145088-gill21-2-0-cust281.20-1.cable.virginm.net)
2021-03-24 15:07:33 → ozataman joins (~ozataman@pool-151-202-25-12.nycmny.fios.verizon.net)
2021-03-24 15:10:35 → jlamothe joins (~jlamothe@198.251.55.207)
2021-03-24 15:12:27 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 256 seconds)
2021-03-24 15:15:11 → vicfred joins (~vicfred@unaffiliated/vicfred)
2021-03-24 15:17:48 → dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-24 15:19:12 × epicte7us quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Remote host closed the connection)
2021-03-24 15:19:28 × jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-03-24 15:19:31 → epicte7us joins (~epictetus@ip72-194-215-136.sb.sd.cox.net)
2021-03-24 15:19:45 × urodna quits (~urodna@unaffiliated/urodna) (Read error: Connection reset by peer)
2021-03-24 15:19:45 × emmanuel_erc quits (~user@2603-7000-9600-01c9-04c4-76ab-ac37-8670.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-24 15:19:54 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-24 15:19:55 × hexagoxel quits (~hexagoxel@2a01:4f8:c0c:e::2) (Ping timeout: 240 seconds)
2021-03-24 15:19:55 × yushyin quits (Q5ik5TuR5I@karif.server-speed.net) (Ping timeout: 240 seconds)
2021-03-24 15:20:15 → yushyin joins (lkZmV9yVXV@karif.server-speed.net)
2021-03-24 15:20:23 × elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 256 seconds)
2021-03-24 15:20:33 → urodna joins (~urodna@unaffiliated/urodna)
2021-03-24 15:20:38 → jamm_ joins (~jamm@unaffiliated/jamm)
2021-03-24 15:20:57 → hexagoxel joins (~hexagoxel@hexagoxel.de)
2021-03-24 15:21:33 × raym quits (~ray@115.187.32.14) (Quit: leaving)
←Prev  Next→
Page 1 .. 4002 4003 4004 4005 4006 4007 4008 4009 4010 4011 4012 .. 5022

All times are in UTC.