Logs: freenode/#haskell
| 2020-09-27 19:15:53 | <Guest_8> | in the CISC |
| 2020-09-27 19:16:10 | <ski> | is `CISC' another folder ? |
| 2020-09-27 19:16:41 | <Guest_8> | lec3 is a file in folder CISC and CISC is on desktop |
| 2020-09-27 19:16:48 | <ski> | C:\Users\123>cd Desktop\CISC |
| 2020-09-27 19:17:06 | <ski> | C:\Users\123\Desktop\CISC>ghci lec3.hs |
| 2020-09-27 19:17:28 | <Guest_8> | cd Desktop\cisc360 |
| 2020-09-27 19:17:51 | <ski> | if it's actually called `cisc360', then yes |
| 2020-09-27 19:18:28 | <Guest_8> | omg |
| 2020-09-27 19:18:32 | <Guest_8> | it worked |
| 2020-09-27 19:18:42 | <Guest_8> | thanks for helping me out ski |
| 2020-09-27 19:18:46 | <ski> | np |
| 2020-09-27 19:18:48 | <Guest_8> | I love you man |
| 2020-09-27 19:19:29 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-09-27 19:19:43 | × | chaosmasttter quits (~chaosmast@p200300c4a7105f01cc6851adcbf57dac.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2020-09-27 19:20:20 | → | snakemasterflex joins (~snakemast@213.100.206.23) |
| 2020-09-27 19:22:31 | → | o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) |
| 2020-09-27 19:24:37 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-27 19:25:20 | → | thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) |
| 2020-09-27 19:25:45 | × | dead10cc quits (63f22acf@gateway/web/cgi-irc/kiwiirc.com/ip.99.242.42.207) (Ping timeout: 240 seconds) |
| 2020-09-27 19:27:22 | → | Saukk joins (~Saukk@2001:998:f1:3963:1c59:9bb5:b94c:2) |
| 2020-09-27 19:28:20 | × | shafox quits (~shafox@106.51.234.111) (Remote host closed the connection) |
| 2020-09-27 19:28:35 | × | o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 240 seconds) |
| 2020-09-27 19:29:16 | → | chaosmasttter joins (~chaosmast@p200300c4a7105f01cc6851adcbf57dac.dip0.t-ipconnect.de) |
| 2020-09-27 19:29:22 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-09-27 19:29:27 | × | thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2020-09-27 19:31:01 | → | kuribas joins (~user@ptr-25vy0iaf5qqps5l6i5w.18120a2.ip6.access.telenet.be) |
| 2020-09-27 19:34:25 | × | filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2020-09-27 19:34:42 | × | Saukk quits (~Saukk@2001:998:f1:3963:1c59:9bb5:b94c:2) (Remote host closed the connection) |
| 2020-09-27 19:35:16 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-27 19:38:06 | × | Quarl quits (~Quarl@94.191.138.174.mobile.tre.se) (Read error: Connection reset by peer) |
| 2020-09-27 19:38:41 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-09-27 19:39:23 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2020-09-27 19:39:54 | × | Aquazi quits (uid312403@gateway/web/irccloud.com/x-pfytdyvohwtqwlkb) (Quit: Connection closed for inactivity) |
| 2020-09-27 19:39:59 | → | Tops21 joins (~Tobias@dyndsl-095-033-020-186.ewe-ip-backbone.de) |
| 2020-09-27 19:40:05 | → | Amras joins (~Amras@unaffiliated/amras0000) |
| 2020-09-27 19:40:15 | × | elliott_ quits (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 2020-09-27 19:42:21 | → | elliott__ joins (~elliott@pool-100-36-54-163.washdc.fios.verizon.net) |
| 2020-09-27 19:43:22 | × | Tops2 quits (~Tobias@dyndsl-095-033-020-186.ewe-ip-backbone.de) (Ping timeout: 260 seconds) |
| 2020-09-27 19:45:13 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-27 19:45:21 | → | elliott_ joins (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) |
| 2020-09-27 19:46:16 | × | knupfer quits (~Thunderbi@200116b824c86d0065865d8c33a01615.dip.versatel-1u1.de) (Quit: knupfer) |
| 2020-09-27 19:46:27 | → | knupfer joins (~Thunderbi@200116b824c86d006010e08279938567.dip.versatel-1u1.de) |
| 2020-09-27 19:46:44 | × | Guest_8 quits (b893734a@bras-base-kgtnon0881w-grc-61-184-147-115-74.dsl.bell.ca) (Ping timeout: 245 seconds) |
| 2020-09-27 19:47:25 | × | kenran quits (~maier@mue-88-130-62-200.dsl.tropolys.de) (Ping timeout: 240 seconds) |
| 2020-09-27 19:48:20 | <koz_> | What's the easiest way to get a NominalDiffTime as a _whole_ number of milliseconds? |
| 2020-09-27 19:49:16 | × | xff0x_ quits (~fox@2001:1a81:533e:8e00:b1b8:25fe:117c:c2a0) (Ping timeout: 244 seconds) |
| 2020-09-27 19:49:22 | × | fendor quits (~fendor@91.141.0.143.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2020-09-27 19:49:47 | → | bitmapper joins (uid464869@gateway/web/irccloud.com/x-mpevcdkaddwfqaxn) |
| 2020-09-27 19:50:13 | → | xff0x_ joins (~fox@port-92-195-106-234.dynamic.as20676.net) |
| 2020-09-27 19:50:13 | × | DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Remote host closed the connection) |
| 2020-09-27 19:50:14 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2020-09-27 19:50:56 | <[exa]> | I like how time-difference question often tend not to have a reasonable solution |
| 2020-09-27 19:51:10 | → | DavidEichmann joins (~david@43.240.198.146.dyn.plus.net) |
| 2020-09-27 19:51:48 | <koz_> | [exa]: Well, 'reasonable' is relative the situation. |
| 2020-09-27 19:52:45 | → | o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) |
| 2020-09-27 19:53:05 | <[exa]> | anyway you can convert the N.D.T. to Pico which is Fixed E12 (iirc), from which you should be able to get a workable Integer |
| 2020-09-27 19:53:07 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2020-09-27 19:53:08 | × | raehik quits (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2020-09-27 19:53:29 | <koz_> | [exa]: Yeah, just realized nominalDiffTimeToSeconds returns picoseconds, not seconds... |
| 2020-09-27 19:53:40 | <koz_> | :t realToFrac |
| 2020-09-27 19:53:42 | <lambdabot> | (Real a, Fractional b) => a -> b |
| 2020-09-27 19:53:52 | <[exa]> | they have their own div' and mod' btw |
| 2020-09-27 19:55:17 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Quit: WeeChat 2.9) |
| 2020-09-27 19:55:29 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-27 19:55:46 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2020-09-27 19:57:23 | → | TooDifficult joins (~TooDiffic@139.59.59.230) |
| 2020-09-27 19:58:28 | × | o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 272 seconds) |
| 2020-09-27 19:59:27 | × | TooDifficult quits (~TooDiffic@139.59.59.230) (Client Quit) |
| 2020-09-27 20:00:07 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2020-09-27 20:02:11 | → | dead10cc joins (63f22acf@gateway/web/cgi-irc/kiwiirc.com/ip.99.242.42.207) |
| 2020-09-27 20:02:52 | × | dhil quits (~dhil@11.29.39.217.dyn.plus.net) (Ping timeout: 256 seconds) |
| 2020-09-27 20:03:06 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:bd22:91d7:f791:22b6) |
| 2020-09-27 20:07:12 | × | stree_ quits (~stree@50-108-126-14.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception) |
| 2020-09-27 20:07:29 | → | stree joins (~stree@50-108-126-14.adr01.mskg.mi.frontiernet.net) |
| 2020-09-27 20:08:34 | × | snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 246 seconds) |
| 2020-09-27 20:09:58 | hackage | mtl-uplift 0.1.0.0 - Lift substacks of monad transformer stacks https://hackage.haskell.org/package/mtl-uplift-0.1.0.0 (sgschlesinger) |
| 2020-09-27 20:10:35 | <koz_> | "... but just to know which monad tops it" |
| 2020-09-27 20:10:38 | koz_ | giggles |
| 2020-09-27 20:11:14 | <[exa]> | monad stacks now have substacks?! |
| 2020-09-27 20:11:17 | <glguy> | koz_: multiply by 1000 and round |
| 2020-09-27 20:11:18 | <[exa]> | man |
| 2020-09-27 20:11:32 | → | GyroW_ joins (~GyroW@ptr-48ujrfb8c7gfd2lu92q.18120a2.ip6.access.telenet.be) |
| 2020-09-27 20:11:32 | × | GyroW_ quits (~GyroW@ptr-48ujrfb8c7gfd2lu92q.18120a2.ip6.access.telenet.be) (Changing host) |
| 2020-09-27 20:11:32 | → | GyroW_ joins (~GyroW@unaffiliated/gyrow) |
| 2020-09-27 20:12:05 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 256 seconds) |
| 2020-09-27 20:13:00 | × | geekosaur quits (ae68c070@cpe-174-104-192-112.neo.res.rr.com) (Remote host closed the connection) |
| 2020-09-27 20:13:56 | <glguy> | % :t \x -> round (x * 1000 :: NominalDiffTime) :: Integer |
| 2020-09-27 20:13:56 | <yahb> | glguy: NominalDiffTime -> Integer |
| 2020-09-27 20:14:07 | × | knupfer quits (~Thunderbi@200116b824c86d006010e08279938567.dip.versatel-1u1.de) (Ping timeout: 240 seconds) |
| 2020-09-27 20:14:10 | → | v_m_v joins (~vm_v@31-10-157-87.cgn.dynamic.upc.ch) |
| 2020-09-27 20:14:20 | × | Tops21 quits (~Tobias@dyndsl-095-033-020-186.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2020-09-27 20:15:37 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-27 20:15:54 | × | elliott__ quits (~elliott@pool-100-36-54-163.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2020-09-27 20:18:11 | × | jneira quits (501e65ce@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.206) (Quit: Ping timeout (120 seconds)) |
| 2020-09-27 20:19:26 | → | falafel joins (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) |
| 2020-09-27 20:20:14 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-09-27 20:20:26 | → | raehik joins (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) |
| 2020-09-27 20:21:37 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-27 20:22:18 | → | finkata joins (~dpetrov@83.222.188.39) |
| 2020-09-27 20:22:36 | → | dhil joins (~dhil@11.29.39.217.dyn.plus.net) |
All times are in UTC.