Logs: freenode/#haskell
| 2020-11-15 10:36:07 | <sshine> | what's a good way to express NominalDiffTime with a precision of one second? NominalDiffTime is implemented with 'Micro'. I'd just wrap it, but I was thinking something like Data.Fixed for time resolutions. |
| 2020-11-15 10:37:41 | × | Sgeo_ quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2020-11-15 10:39:23 | → | britva joins (~britva@2a02:aa13:7240:2980:bc4b:509a:98e6:5bb0) |
| 2020-11-15 10:42:25 | × | da39a3ee5e6b4b0d quits (~da39a3ee5@ppp-27-55-71-43.revip3.asianet.co.th) (Ping timeout: 240 seconds) |
| 2020-11-15 10:42:33 | → | tms_ joins (thomaav@cassarossa.samfundet.no) |
| 2020-11-15 10:47:05 | × | Rembane quits (~Rembane@li346-36.members.linode.com) (Remote host closed the connection) |
| 2020-11-15 10:48:34 | → | akegalj_ joins (~akegalj@93-136-29-37.adsl.net.t-com.hr) |
| 2020-11-15 10:49:48 | → | Rembane joins (~Rembane@li346-36.members.linode.com) |
| 2020-11-15 10:51:48 | × | akegalj quits (~akegalj@93-136-11-15.adsl.net.t-com.hr) (Ping timeout: 260 seconds) |
| 2020-11-15 10:55:26 | × | nickr quits (~nickr@84.39.117.57) (Remote host closed the connection) |
| 2020-11-15 10:59:41 | × | mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Ping timeout: 260 seconds) |
| 2020-11-15 11:00:03 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2020-11-15 11:01:35 | × | subttle quits (~anonymous@unaffiliated/subttle) (Ping timeout: 272 seconds) |
| 2020-11-15 11:03:43 | × | jb55 quits (~jb55@gateway/tor-sasl/jb55) (Ping timeout: 240 seconds) |
| 2020-11-15 11:04:39 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection) |
| 2020-11-15 11:05:19 | → | jb55 joins (~jb55@gateway/tor-sasl/jb55) |
| 2020-11-15 11:05:44 | → | knupfer joins (~Thunderbi@200116b82c37cc00dc1114fffec6c30d.dip.versatel-1u1.de) |
| 2020-11-15 11:05:47 | × | jakalx quits (~jakalx@base.jakalx.net) (Ping timeout: 260 seconds) |
| 2020-11-15 11:05:55 | → | thunderrd joins (~thunderrd@183.182.111.169) |
| 2020-11-15 11:05:59 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2020-11-15 11:06:44 | × | knupfer quits (~Thunderbi@200116b82c37cc00dc1114fffec6c30d.dip.versatel-1u1.de) (Remote host closed the connection) |
| 2020-11-15 11:06:59 | → | knupfer joins (~Thunderbi@200116b82c37cc0084cc5f3e9837ddce.dip.versatel-1u1.de) |
| 2020-11-15 11:11:43 | × | asheshambasta quits (~user@ptr-e1lysawl9rr13i61o92.18120a2.ip6.access.telenet.be) (Ping timeout: 272 seconds) |
| 2020-11-15 11:12:58 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2020-11-15 11:14:31 | × | shangxiao quits (~davids@101.181.159.140) (Ping timeout: 256 seconds) |
| 2020-11-15 11:15:01 | → | shangxiao joins (~davids@101.181.159.140) |
| 2020-11-15 11:15:57 | → | Moe_Epsilon joins (~Moe_Epsil@178.162.212.214) |
| 2020-11-15 11:27:49 | × | britva quits (~britva@2a02:aa13:7240:2980:bc4b:509a:98e6:5bb0) (Quit: This computer has gone to sleep) |
| 2020-11-15 11:29:36 | × | jakalx quits (~jakalx@base.jakalx.net) (Ping timeout: 256 seconds) |
| 2020-11-15 11:30:17 | × | ericsagn1 quits (~ericsagne@2405:6580:0:5100:2d3f:7a30:33bf:8b65) (Ping timeout: 260 seconds) |
| 2020-11-15 11:33:04 | × | carldd quits (~carldd@90-224-49-113-no56.tbcn.telia.com) (Read error: Connection reset by peer) |
| 2020-11-15 11:33:11 | → | carldd0 joins (~carldd@90-224-49-113-no56.tbcn.telia.com) |
| 2020-11-15 11:37:15 | × | hekkaidekapus_ quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Quit: hekkaidekapus_) |
| 2020-11-15 11:37:40 | → | hekkaidekapus joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 2020-11-15 11:39:09 | → | alp joins (~alp@2a01:e0a:58b:4920:9050:e88b:814f:ac3d) |
| 2020-11-15 11:42:51 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:f576:66f7:e38e:c2d0) |
| 2020-11-15 11:43:29 | → | Aquazi joins (uid312403@gateway/web/irccloud.com/x-ypggeakuiydyhszt) |
| 2020-11-15 11:44:00 | hackage | constrained-categories 0.4.1.0 - Constrained clones of the category-theory type classes, using ConstraintKinds. https://hackage.haskell.org/package/constrained-categories-0.4.1.0 (leftaroundabout) |
| 2020-11-15 11:46:51 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-73-14.w86-212.abo.wanadoo.fr) |
| 2020-11-15 11:47:10 | × | inkbottle quits (~inkbottle@aaubervilliers-654-1-5-80.w83-200.abo.wanadoo.fr) (Ping timeout: 256 seconds) |
| 2020-11-15 11:49:13 | → | christo joins (~chris@81.96.113.213) |
| 2020-11-15 11:49:33 | × | s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2020-11-15 11:50:29 | × | fiadliel quits (sid399568@gateway/web/irccloud.com/x-xbmjzphrjjyfrdoz) (Quit: Connection closed for inactivity) |
| 2020-11-15 11:50:37 | → | m0rphism joins (~m0rphism@HSI-KBW-095-208-098-207.hsi5.kabel-badenwuerttemberg.de) |
| 2020-11-15 11:51:06 | → | s00pcan joins (~chris@107.181.165.217) |
| 2020-11-15 11:55:48 | × | carlomagno quits (~cararell@148.87.23.10) (Remote host closed the connection) |
| 2020-11-15 12:00:01 | × | Rennex1 quits (~Rennex@195.140.213.38) () |
| 2020-11-15 12:06:48 | → | asheshambasta joins (~user@ptr-e1lysawl9rr13i61o92.18120a2.ip6.access.telenet.be) |
| 2020-11-15 12:07:28 | → | britva joins (~britva@2a02:aa13:7240:2980:bc4b:509a:98e6:5bb0) |
| 2020-11-15 12:11:29 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-11-15 12:11:59 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 2020-11-15 12:12:47 | × | jaspervdj quits (~jaspervdj@213.55.241.138) (Quit: leaving) |
| 2020-11-15 12:14:34 | → | jaspervdj joins (~jaspervdj@213.55.241.138) |
| 2020-11-15 12:15:52 | × | britva quits (~britva@2a02:aa13:7240:2980:bc4b:509a:98e6:5bb0) (Quit: This computer has gone to sleep) |
| 2020-11-15 12:16:37 | → | coot joins (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl) |
| 2020-11-15 12:17:34 | → | britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 2020-11-15 12:18:38 | × | britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Client Quit) |
| 2020-11-15 12:19:23 | → | britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 2020-11-15 12:21:12 | → | christo joins (~chris@81.96.113.213) |
| 2020-11-15 12:22:07 | → | Iceland_jack joins (~user@31.124.48.169) |
| 2020-11-15 12:22:49 | → | JohnONolan joins (~JohnONola@193.56.252.12) |
| 2020-11-15 12:26:00 | × | britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep) |
| 2020-11-15 12:29:13 | × | akegalj_ quits (~akegalj@93-136-29-37.adsl.net.t-com.hr) (Ping timeout: 260 seconds) |
| 2020-11-15 12:34:11 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2020-11-15 12:36:20 | → | Ariakenom joins (~Ariakenom@h-82-196-111-82.NA.cust.bahnhof.se) |
| 2020-11-15 12:36:23 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-11-15 12:37:37 | × | HaskellYogi quits (~vivekrama@49.207.219.163) (Quit: Sayonara. Long live Haskell) |
| 2020-11-15 12:39:06 | → | HaskellYogi joins (~vivekrama@49.207.219.163) |
| 2020-11-15 12:40:50 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2020-11-15 12:43:36 | → | geekosaur joins (ac3a8f2b@172.58.143.43) |
| 2020-11-15 12:44:49 | × | coot quits (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2020-11-15 12:46:47 | → | akegalj joins (~akegalj@93-136-29-37.adsl.net.t-com.hr) |
| 2020-11-15 12:47:26 | → | carlomagno joins (~cararell@148.87.23.8) |
| 2020-11-15 12:49:09 | × | jneira_ quits (~jneira@198.red-176-83-81.dynamicip.rima-tde.net) (Ping timeout: 256 seconds) |
| 2020-11-15 12:49:29 | → | jneira_ joins (~jneira@198.red-176-83-81.dynamicip.rima-tde.net) |
| 2020-11-15 12:49:31 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection) |
| 2020-11-15 13:02:44 | × | kish` quits (~oracle@unaffiliated/oracle) (Remote host closed the connection) |
| 2020-11-15 13:03:52 | → | kish` joins (~oracle@unaffiliated/oracle) |
| 2020-11-15 13:08:10 | → | britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 2020-11-15 13:09:25 | → | crdrost joins (~crdrost@c-98-207-102-156.hsd1.ca.comcast.net) |
| 2020-11-15 13:09:35 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-11-15 13:13:13 | × | jneira_ quits (~jneira@198.red-176-83-81.dynamicip.rima-tde.net) (Read error: Connection reset by peer) |
| 2020-11-15 13:13:25 | → | jneira_ joins (~jneira@192.red-2-137-106.dynamicip.rima-tde.net) |
| 2020-11-15 13:15:19 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2020-11-15 13:16:01 | hackage | hakyll-convert 0.3.0.3 - Convert from other blog engines to Hakyll. https://hackage.haskell.org/package/hakyll-convert-0.3.0.3 (AlexanderBatischev) |
| 2020-11-15 13:17:01 | × | akegalj quits (~akegalj@93-136-29-37.adsl.net.t-com.hr) (Quit: leaving) |
| 2020-11-15 13:17:28 | × | britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep) |
| 2020-11-15 13:18:01 | × | jneira_ quits (~jneira@192.red-2-137-106.dynamicip.rima-tde.net) (Ping timeout: 246 seconds) |
| 2020-11-15 13:18:10 | → | jneira_ joins (~jneira@198.red-176-83-81.dynamicip.rima-tde.net) |
| 2020-11-15 13:21:41 | × | jneira_ quits (~jneira@198.red-176-83-81.dynamicip.rima-tde.net) (Read error: Connection reset by peer) |
| 2020-11-15 13:22:00 | → | jneira_ joins (~jneira@198.red-176-83-81.dynamicip.rima-tde.net) |
| 2020-11-15 13:24:24 | → | Zetagon joins (~leo@c151-177-52-233.bredband.comhem.se) |
| 2020-11-15 13:26:09 | → | jmcarthur joins (~jmcarthur@2601:86:500:2a40:db56:5d66:5919:c95d) |
| 2020-11-15 13:29:16 | × | jneira_ quits (~jneira@198.red-176-83-81.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2020-11-15 13:32:01 | → | jneira_ joins (~jneira@198.red-176-83-81.dynamicip.rima-tde.net) |
| 2020-11-15 13:33:01 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2020-11-15 13:35:14 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-11-15 13:36:59 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-11-15 13:37:04 | <matthew-> | % :t (id 3, id "x") |
| 2020-11-15 13:37:05 | <yahb> | matthew-: forall {a}. Num a => (a, [Char]) |
All times are in UTC.