Logs: liberachat/#haskell
| 2021-07-01 17:35:07 | → | alphabeta joins (~kilolympu@cpc92710-cmbg20-2-0-cust265.5-4.cable.virginm.net) |
| 2021-07-01 17:36:14 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-07-01 17:36:21 | × | mikail__ quits (~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f) (Remote host closed the connection) |
| 2021-07-01 17:37:19 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-07-01 17:37:58 | → | anviking joins (~anviking@90-229-193-56-no14.tbcn.telia.com) |
| 2021-07-01 17:38:12 | × | kilolympus quits (~kilolympu@cpc92710-cmbg20-2-0-cust265.5-4.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2021-07-01 17:39:00 | × | anviking quits (~anviking@90-229-193-56-no14.tbcn.telia.com) (Client Quit) |
| 2021-07-01 17:39:10 | × | azeem quits (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Ping timeout: 256 seconds) |
| 2021-07-01 17:39:15 | → | mikail__ joins (~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f) |
| 2021-07-01 17:41:00 | → | azeem joins (~azeem@176.201.21.236) |
| 2021-07-01 17:44:48 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-01 17:45:30 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-01 17:45:30 | <qrpnxz> | thorns keep side-effects out of functions in haskell |
| 2021-07-01 17:45:49 | × | fendor quits (~fendor@77.119.218.107.wireless.dyn.drei.com) (Ping timeout: 258 seconds) |
| 2021-07-01 17:47:32 | × | azeem quits (~azeem@176.201.21.236) (Read error: Connection reset by peer) |
| 2021-07-01 17:48:04 | → | azeem joins (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 2021-07-01 17:48:19 | × | tabemann quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Remote host closed the connection) |
| 2021-07-01 17:49:07 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-01 17:49:19 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-01 17:49:22 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-07-01 17:52:11 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-01 17:52:18 | → | wickedjargon joins (~wickedjar@cpeac202ebc90c3-cmac202ebc90c0.cpe.net.fido.ca) |
| 2021-07-01 17:52:58 | × | fabfianda quits (~fabfianda@37.183.255.57) (Ping timeout: 252 seconds) |
| 2021-07-01 17:53:21 | → | fabfianda joins (~fabfianda@37.183.255.57) |
| 2021-07-01 17:54:08 | → | hammock joins (~Hammock@2600:1700:19a1:3330::625) |
| 2021-07-01 17:54:32 | → | tabemann joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 2021-07-01 17:55:02 | × | ubert quits (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2021-07-01 17:55:31 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-07-01 17:55:48 | × | Schrostfutz quits (~Schrostfu@schettlerdck.tkn.tu-berlin.de) (Ping timeout: 272 seconds) |
| 2021-07-01 17:57:41 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-01 17:59:28 | × | norias quits (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Ping timeout: 268 seconds) |
| 2021-07-01 17:59:53 | × | elf_fortrez quits (~elf_fortr@adsl-72-50-4-120.prtc.net) (Quit: Client closed) |
| 2021-07-01 18:00:04 | × | fef quits (~thedawn@user/thedawn) (Ping timeout: 244 seconds) |
| 2021-07-01 18:00:16 | → | Iryon joins (~Iryon@2a02:a31a:a045:3500:90e2:686f:e863:4359) |
| 2021-07-01 18:01:11 | × | cheater quits (~Username@user/cheater) (Quit: (BitchX) I see your BitchX is as big as mine!) |
| 2021-07-01 18:01:54 | <dminuoso> | accursedUnutterablePerformIO is at my side, I have all the side effects. |
| 2021-07-01 18:02:43 | → | nick8325 joins (~nick@2001:9b1:26f9:3e00:b7ea:ac95:e18:4c1d) |
| 2021-07-01 18:03:25 | <davean> | dminuoso: just forge an MD5 hash - that way it can be SafeHaskell also |
| 2021-07-01 18:04:02 | × | shapr quits (~user@pool-108-28-144-11.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2021-07-01 18:04:20 | → | cheater joins (~Username@user/cheater) |
| 2021-07-01 18:04:43 | × | nick8325 quits (~nick@2001:9b1:26f9:3e00:b7ea:ac95:e18:4c1d) (Client Quit) |
| 2021-07-01 18:04:59 | → | nick8325 joins (~nick@2001:9b1:26f9:3e00:b7ea:ac95:e18:4c1d) |
| 2021-07-01 18:05:41 | × | nick8325 quits (~nick@2001:9b1:26f9:3e00:b7ea:ac95:e18:4c1d) (Client Quit) |
| 2021-07-01 18:05:57 | → | nick8325 joins (~nick@2001:9b1:26f9:3e00:b7ea:ac95:e18:4c1d) |
| 2021-07-01 18:06:21 | × | mikail__ quits (~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f) (Remote host closed the connection) |
| 2021-07-01 18:07:04 | → | mikail__ joins (~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f) |
| 2021-07-01 18:07:51 | × | mikail__ quits (~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f) (Remote host closed the connection) |
| 2021-07-01 18:08:02 | ← | nixtamalize parts (~nixtamali@117.222.65.230) () |
| 2021-07-01 18:08:11 | × | michalz quits (~michalz@185.246.204.105) (Remote host closed the connection) |
| 2021-07-01 18:08:48 | → | mikail__ joins (~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f) |
| 2021-07-01 18:09:52 | → | Pickchea joins (~private@user/pickchea) |
| 2021-07-01 18:10:04 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-07-01 18:10:51 | × | mikail__ quits (~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f) (Remote host closed the connection) |
| 2021-07-01 18:11:18 | × | cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2021-07-01 18:11:20 | → | mikail__ joins (~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f) |
| 2021-07-01 18:11:44 | → | cheater joins (~Username@user/cheater) |
| 2021-07-01 18:15:59 | × | hiruji quits (~hiruji@user/hiruji) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-07-01 18:16:18 | → | hiruji joins (~hiruji@user/hiruji) |
| 2021-07-01 18:16:23 | × | marinelli[m] quits (~marinelli@2001:470:69fc:105::2d8) (Quit: node-irc says goodbye) |
| 2021-07-01 18:20:47 | → | ubert joins (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) |
| 2021-07-01 18:21:26 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-01 18:21:46 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 2021-07-01 18:22:58 | × | Guest9 quits (~Guest9@103.86.19.221) (Quit: Connection closed) |
| 2021-07-01 18:25:47 | × | tabemann quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Remote host closed the connection) |
| 2021-07-01 18:27:28 | × | dunkeln quits (~dunkeln@188.70.10.165) (Ping timeout: 272 seconds) |
| 2021-07-01 18:27:35 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-07-01 18:28:03 | → | tabemann joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 2021-07-01 18:31:11 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-07-01 18:32:29 | × | Morrow quits (~MorrowM_@bzq-110-168-31-106.red.bezeqint.net) (Remote host closed the connection) |
| 2021-07-01 18:32:48 | → | Morrow joins (~MorrowM_@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-07-01 18:34:13 | × | mikail__ quits (~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f) (Quit: Leaving) |
| 2021-07-01 18:34:52 | <chris_> | trying to convert a division operation to a fractional |
| 2021-07-01 18:36:00 | <chris_> | sorry |
| 2021-07-01 18:36:04 | <chris_> | to a Rational* |
| 2021-07-01 18:37:56 | → | MoC joins (~moc@user/moc) |
| 2021-07-01 18:39:51 | × | chexum quits (~chexum@gateway/tor-sasl/chexum) (Ping timeout: 244 seconds) |
| 2021-07-01 18:41:23 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-07-01 18:44:48 | → | learner-monad joins (~ehanneken@user/learner-monad) |
| 2021-07-01 18:47:53 | → | octeep[m]1 joins (~octeepmoc@2001:470:69fc:105::695e) |
| 2021-07-01 18:47:55 | × | MQ-17J quits (~MQ-17J@8.21.10.15) (Ping timeout: 258 seconds) |
| 2021-07-01 18:48:32 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-01 18:49:24 | <monochrom> | That's pretty vague. |
| 2021-07-01 18:50:20 | → | chexum joins (~chexum@gateway/tor-sasl/chexum) |
| 2021-07-01 18:50:44 | <chris_> | i did 1/(toRational n-1) |
| 2021-07-01 18:51:26 | <monochrom> | What is the type of n? |
| 2021-07-01 18:51:36 | <monochrom> | Are you missing some parentheses? |
| 2021-07-01 18:51:42 | <chris_> | ahh type of n is Int |
| 2021-07-01 18:51:59 | <davean> | why not use %? |
| 2021-07-01 18:52:58 | <chris_> | what's % do? |
| 2021-07-01 18:53:04 | <chris_> | that does* |
| 2021-07-01 18:53:17 | <chris_> | % 4/2 |
| 2021-07-01 18:53:18 | <yahb> | chris_: 2.0 |
| 2021-07-01 18:53:26 | <chris_> | % 4%2 |
| 2021-07-01 18:53:27 | <yahb> | chris_: 2 % 1 |
| 2021-07-01 18:54:24 | × | jolly quits (~jolly@208.180.97.158) (Quit: Connection closed) |
| 2021-07-01 18:54:27 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-07-01 18:54:33 | <monochrom> | But if n::Int, then 1%n gives Ratio Int, not Rational (Ratio Integer) |
| 2021-07-01 18:55:06 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 240 seconds) |
| 2021-07-01 18:55:23 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-01 18:56:27 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
All times are in UTC.