Logs: liberachat/#haskell
| 2021-06-03 14:36:47 | → | keutoi_ joins (~keutoi@106.208.13.22) |
| 2021-06-03 14:38:04 | × | keutoi quits (~keutoi@106.208.55.80) (Ping timeout: 272 seconds) |
| 2021-06-03 14:38:28 | × | ddellacosta quits (~ddellacos@86.106.121.73) (Remote host closed the connection) |
| 2021-06-03 14:38:47 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-06-03 14:38:56 | → | slac13085 joins (~slack1256@181.203.3.95) |
| 2021-06-03 14:38:57 | → | ddellacosta joins (~ddellacos@86.106.121.73) |
| 2021-06-03 14:38:58 | × | ddellacosta quits (~ddellacos@86.106.121.73) (Remote host closed the connection) |
| 2021-06-03 14:39:17 | → | ukari joins (~ukari@user/ukari) |
| 2021-06-03 14:39:28 | → | ddellacosta joins (~ddellacos@86.106.121.73) |
| 2021-06-03 14:40:05 | → | chaosite joins (~chaosite@user/chaosite) |
| 2021-06-03 14:41:07 | → | ddellaco_ joins (~ddellacos@89.46.62.114) |
| 2021-06-03 14:41:19 | × | slack1256 quits (~slack1256@181.203.17.159) (Ping timeout: 265 seconds) |
| 2021-06-03 14:41:36 | → | myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-06-03 14:44:13 | × | ddellacosta quits (~ddellacos@86.106.121.73) (Ping timeout: 265 seconds) |
| 2021-06-03 14:47:03 | → | jalonso joins (~user@90.71.136.33) |
| 2021-06-03 14:48:12 | × | chaosite quits (~chaosite@user/chaosite) (Ping timeout: 272 seconds) |
| 2021-06-03 14:48:29 | × | tboerstad quits (~tboerstad@91.90.104.201) (Quit: Connection closed) |
| 2021-06-03 14:49:44 | → | ddellacosta joins (~ddellacos@86.106.121.209) |
| 2021-06-03 14:50:46 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-03 14:52:55 | × | koishi_ quits (~koishi_@185.209.85.134) (Quit: /ragequit) |
| 2021-06-03 14:53:41 | × | keutoi_ quits (~keutoi@106.208.13.22) (Quit: leaving) |
| 2021-06-03 14:54:32 | × | ddellacosta quits (~ddellacos@86.106.121.209) (Ping timeout: 272 seconds) |
| 2021-06-03 14:58:51 | → | chaosite joins (~chaosite@user/chaosite) |
| 2021-06-03 14:59:12 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 265 seconds) |
| 2021-06-03 15:00:43 | → | oxide joins (~lambda@user/oxide) |
| 2021-06-03 15:00:54 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-03 15:01:05 | → | feetwind joins (~mike@2406:d500:6:1:216:3cff:fe36:651) |
| 2021-06-03 15:01:10 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-06-03 15:02:38 | × | GIANTWORLDKEEPER quits (~pjetcetal@2.95.204.25) (Read error: Connection reset by peer) |
| 2021-06-03 15:03:47 | × | chaosite quits (~chaosite@user/chaosite) (Ping timeout: 252 seconds) |
| 2021-06-03 15:04:05 | × | jalonso quits (~user@90.71.136.33) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-06-03 15:05:34 | → | GIANTWORLDKEEPER joins (~pjetcetal@2.95.204.25) |
| 2021-06-03 15:05:42 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 264 seconds) |
| 2021-06-03 15:05:58 | → | jalonso joins (~user@90.71.136.33) |
| 2021-06-03 15:07:30 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 264 seconds) |
| 2021-06-03 15:07:55 | → | favonia joins (~favonia@user/favonia) |
| 2021-06-03 15:09:45 | → | koishi_ joins (~koishi_@185.209.85.134) |
| 2021-06-03 15:10:34 | × | jalonso quits (~user@90.71.136.33) (Client Quit) |
| 2021-06-03 15:11:01 | × | bontaq quits (~user@ool-18e47f8d.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2021-06-03 15:11:10 | → | jalonso joins (~user@90.71.136.33) |
| 2021-06-03 15:12:13 | → | UNIXCHAD_ joins (~UNIXCHAD_@41.45.242.27) |
| 2021-06-03 15:15:17 | × | igghibu quits (~igghibu@91.193.5.46) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-06-03 15:18:10 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-06-03 15:18:19 | ← | jalonso parts (~user@90.71.136.33) (ERC (IRC client for Emacs 26.3)) |
| 2021-06-03 15:18:38 | → | azeem joins (~azeem@176.200.202.86) |
| 2021-06-03 15:20:28 | × | julm quits (~julm@user/julm) (Quit: leaving) |
| 2021-06-03 15:22:19 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-03 15:24:59 | → | tjwds joins (~tjwds@194.44.236.50) |
| 2021-06-03 15:24:59 | <tjwds> | /!\ ТНIЅ CHANⲚEⅬ HΑЅ MОVΕD ΤO IRⅭ.ᏞІBERΑ.CᎻᎪT ﹟ΗAMᎡAᗪІΟ ⁄!\ |
| 2021-06-03 15:24:59 | × | tjwds quits (~tjwds@194.44.236.50) (K-Lined) |
| 2021-06-03 15:27:09 | → | epolanski joins (uid312403@id-312403.brockwell.irccloud.com) |
| 2021-06-03 15:28:16 | → | tako joins (~user@net-2-45-30-17.cust.vodafonedsl.it) |
| 2021-06-03 15:31:33 | × | jose_zap quits (~textual@188-182-241-27-dynamic.dk.customer.tdc.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-03 15:31:50 | <zfnmxt> | Is it possible to use (*) as a type operator with TypeOperators? |
| 2021-06-03 15:32:06 | → | Sose joins (~username@mobile-access-6df04b-135.dhcp.inet.fi) |
| 2021-06-03 15:32:15 | <geekosaur> | with -XNoStarIsType, yes |
| 2021-06-03 15:32:26 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-03 15:32:27 | <zfnmxt> | Ah, I did that but just realized I forgot to rebuild =/ |
| 2021-06-03 15:32:30 | <zfnmxt> | Thanks :P |
| 2021-06-03 15:32:35 | × | aguapesada quits (~aguapesad@191.177.175.57) (Ping timeout: 272 seconds) |
| 2021-06-03 15:33:11 | → | derelict joins (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-06-03 15:33:38 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:3547:b6d4:7412:5857) |
| 2021-06-03 15:33:50 | × | ikex quits (~ash@user/ikex) (Ping timeout: 268 seconds) |
| 2021-06-03 15:34:22 | × | feetwind quits (~mike@2406:d500:6:1:216:3cff:fe36:651) (Changing host) |
| 2021-06-03 15:34:22 | → | feetwind joins (~mike@user/feetwind) |
| 2021-06-03 15:35:17 | → | sszark joins (~sszark@h-85-24-213-180.A392.priv.bahnhof.se) |
| 2021-06-03 15:36:11 | swistak- | is now known as swistak |
| 2021-06-03 15:37:36 | × | dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 272 seconds) |
| 2021-06-03 15:37:53 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:3547:b6d4:7412:5857) (Ping timeout: 252 seconds) |
| 2021-06-03 15:38:47 | → | chomwitt joins (~Pitsikoko@2a02:587:dc02:b00:b16c:5166:feb8:97d5) |
| 2021-06-03 15:43:58 | → | Ariakenom joins (~Ariakenom@2001:9b1:efb:fc00:40eb:897:c28a:3711) |
| 2021-06-03 15:47:03 | × | chomwitt quits (~Pitsikoko@2a02:587:dc02:b00:b16c:5166:feb8:97d5) (Ping timeout: 265 seconds) |
| 2021-06-03 15:47:12 | × | larkfisherman quits (~larkfishe@217.75.204.126) (Remote host closed the connection) |
| 2021-06-03 15:47:42 | × | dpl quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 264 seconds) |
| 2021-06-03 15:52:38 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-03 15:55:11 | → | ddellacosta joins (~ddellacos@86.106.143.131) |
| 2021-06-03 15:56:42 | × | azeem quits (~azeem@176.200.202.86) (Ping timeout: 264 seconds) |
| 2021-06-03 15:57:09 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:3547:b6d4:7412:5857) |
| 2021-06-03 15:57:40 | × | dunkeln quits (~dunkeln@94.129.65.28) (Read error: Connection reset by peer) |
| 2021-06-03 15:58:15 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-03 15:58:30 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:c560:d782:d610:e2ed) (Ping timeout: 268 seconds) |
| 2021-06-03 15:59:42 | × | ddellacosta quits (~ddellacos@86.106.143.131) (Ping timeout: 264 seconds) |
| 2021-06-03 15:59:47 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-06-03 16:00:09 | → | chomwitt joins (~Pitsikoko@2a02:587:dc02:b00:b16c:5166:feb8:97d5) |
| 2021-06-03 16:01:27 | × | Scotty_Trees quits (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) (Quit: Leaving) |
| 2021-06-03 16:03:01 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-03 16:03:01 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2021-06-03 16:08:28 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-06-03 16:11:10 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 2021-06-03 16:11:42 | → | fradet joins (~fradet@216.252.75.247) |
| 2021-06-03 16:15:45 | <janus> | i am looking to convert a Rational to a Scientific, with a reasonable amount of precision |
| 2021-06-03 16:16:03 | <janus> | i could convert to integer and then from that to Scentific, but that loses more precision than i'd like |
| 2021-06-03 16:16:37 | → | azeem joins (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
| 2021-06-03 16:16:40 | <janus> | i was thinking i'd multiply with the desired after-decimal precision, convert to integer, convert to scientific, then divide, but it seems clumsy |
| 2021-06-03 16:16:59 | <janus> | tried hoogling for Fractional a => a -> Scientific but it gives me nothing useful |
| 2021-06-03 16:17:06 | <Taneb> | janus: you can use `fromRational`, which is in Prelude (in the Fractional class) |
| 2021-06-03 16:17:12 | → | chaosite joins (~chaosite@user/chaosite) |
| 2021-06-03 16:17:33 | <janus> | oooh nice, thanks Taneb |
| 2021-06-03 16:18:52 | × | thonkpod quits (~thonkpod@2001:19f0:ac01:b46:5400:1ff:fec7:d73d) (Quit: thonkpod) |
| 2021-06-03 16:18:54 | × | dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 264 seconds) |
All times are in UTC.