Logs: liberachat/#haskell
| 2021-05-28 13:25:28 | <twitch> | calcBmis xs = [bmi w h | (w, h) <- xs] |
| 2021-05-28 13:25:28 | <twitch> | where bmi weight height = weight / height ^ 2 |
| 2021-05-28 13:25:44 | → | dunham joins (~dunham@97-113-35-16.tukw.qwest.net) |
| 2021-05-28 13:25:45 | <twitch> | since in the comprehension, it's instructed to return bmi w h |
| 2021-05-28 13:26:02 | <boxscape> | twitch it would be [(a,a,a)] if it said (bmi, w, h) |
| 2021-05-28 13:26:07 | × | gzj quits (~GZJ0X@185.212.59.97.16clouds.com) (Read error: Connection reset by peer) |
| 2021-05-28 13:26:07 | → | haskman joins (~haskman@106.201.28.184) |
| 2021-05-28 13:26:16 | <boxscape> | but with `bmi w h`, the function bmi is applied to the arguments w and h |
| 2021-05-28 13:26:27 | → | gzj joins (~GZJ0X@185.212.59.97.16clouds.com) |
| 2021-05-28 13:26:30 | <boxscape> | which results in a single value, according to the definition of bmi |
| 2021-05-28 13:26:33 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-05-28 13:26:40 | <twitch> | OH! it's a function! ha, neat |
| 2021-05-28 13:26:40 | <boxscape> | s/value/number |
| 2021-05-28 13:27:00 | <twitch> | thanks! |
| 2021-05-28 13:27:07 | <boxscape> | np |
| 2021-05-28 13:27:58 | × | cherryblossom000 quits (uid500853@stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-05-28 13:28:03 | → | alphabeta joins (~kilolympu@cpc92710-cmbg20-2-0-cust265.5-4.cable.virginm.net) |
| 2021-05-28 13:28:11 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:9d49:4665:d75d:fdb) |
| 2021-05-28 13:28:15 | <enicar> | raehik: bad |
| 2021-05-28 13:28:22 | × | alphabeta quits (~kilolympu@cpc92710-cmbg20-2-0-cust265.5-4.cable.virginm.net) (Remote host closed the connection) |
| 2021-05-28 13:28:59 | <raehik> | enicar: you mean engaging brain? yes ._. wont happen again |
| 2021-05-28 13:29:29 | × | zarebski quits (~aez@zoo-zarebski.zoo.ox.ac.uk) (Quit: WeeChat 3.0) |
| 2021-05-28 13:30:10 | × | dunham quits (~dunham@97-113-35-16.tukw.qwest.net) (Ping timeout: 264 seconds) |
| 2021-05-28 13:30:13 | enicar | is now known as enikar |
| 2021-05-28 13:31:15 | × | kilolympus quits (~kilolympu@cpc92710-cmbg20-2-0-cust265.5-4.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2021-05-28 13:32:30 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:9d49:4665:d75d:fdb) (Ping timeout: 248 seconds) |
| 2021-05-28 13:32:57 | → | sedeki joins (~textual@user/sedeki) |
| 2021-05-28 13:33:57 | → | egoist joins (~egoist@186.235.82.52) |
| 2021-05-28 13:34:59 | × | twitch quits (~textual@pool-71-246-146-102.rich.east.verizon.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-28 13:35:25 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:9d49:4665:d75d:fdb) |
| 2021-05-28 13:35:42 | × | mastarija quits (~mastarija@46.188.157.7) (Quit: Leaving) |
| 2021-05-28 13:37:10 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
| 2021-05-28 13:37:47 | × | sedeki quits (~textual@user/sedeki) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-28 13:39:09 | → | v01d4lph4 joins (~v01d4lph4@user/v01d4lph4) |
| 2021-05-28 13:40:08 | × | tddpirate quits (~omer_zak@2a0d:6fc0:789:f200:a5ea:482d:1acf:8f67) (Quit: Leaving) |
| 2021-05-28 13:40:33 | × | werneta quits (~werneta@mobile-166-176-56-141.mycingular.net) (Ping timeout: 272 seconds) |
| 2021-05-28 13:41:22 | × | favonia quits (~favonia@user/favonia) (Quit: Leaving) |
| 2021-05-28 13:42:11 | → | ddellacosta joins (~ddellacos@86.106.121.110) |
| 2021-05-28 13:43:42 | × | xff0x quits (~xff0x@2001:1a81:53e0:500:fcbd:71bd:7cab:f1d4) (Ping timeout: 248 seconds) |
| 2021-05-28 13:43:55 | × | v01d4lph4 quits (~v01d4lph4@user/v01d4lph4) (Ping timeout: 272 seconds) |
| 2021-05-28 13:44:09 | → | tddpirate joins (~omer_zak@2a0d:6fc0:789:f200:a5ea:482d:1acf:8f67) |
| 2021-05-28 13:44:46 | → | xff0x joins (~xff0x@2001:1a81:53e0:500:230:e4e3:4c7:7c57) |
| 2021-05-28 13:45:17 | → | dunham joins (~dunham@97-113-35-16.tukw.qwest.net) |
| 2021-05-28 13:45:33 | → | sedeki joins (~textual@user/sedeki) |
| 2021-05-28 13:47:25 | × | eightball quits (~jbrechtel@162-226-201-119.lightspeed.tukrga.sbcglobal.net) (Read error: Connection reset by peer) |
| 2021-05-28 13:47:36 | × | ddellacosta quits (~ddellacos@86.106.121.110) (Remote host closed the connection) |
| 2021-05-28 13:47:59 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:9d49:4665:d75d:fdb) (Remote host closed the connection) |
| 2021-05-28 13:48:03 | → | ddellacosta joins (~ddellacos@86.106.121.110) |
| 2021-05-28 13:48:07 | ← | tddpirate parts (~omer_zak@2a0d:6fc0:789:f200:a5ea:482d:1acf:8f67) (Leaving) |
| 2021-05-28 13:48:27 | → | stackheap joins (~stackbear@pool-173-76-99-163.bstnma.fios.verizon.net) |
| 2021-05-28 13:48:51 | × | dy quits (~dy@user/dy) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-28 13:48:54 | → | winter joins (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-05-28 13:49:09 | → | dy joins (~dy@user/dy) |
| 2021-05-28 13:49:57 | × | stackheap quits (~stackbear@pool-173-76-99-163.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2021-05-28 13:51:25 | → | stackbeard joins (~stackbear@pool-173-76-99-163.bstnma.fios.verizon.net) |
| 2021-05-28 13:51:28 | × | zzz quits (~yin@user/yin) (Ping timeout: 265 seconds) |
| 2021-05-28 13:51:54 | × | stackbeard quits (~stackbear@pool-173-76-99-163.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2021-05-28 13:51:54 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-05-28 13:52:07 | × | wei2912 quits (~wei2912@112.199.250.21) (Remote host closed the connection) |
| 2021-05-28 13:53:18 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 248 seconds) |
| 2021-05-28 13:53:50 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds) |
| 2021-05-28 13:54:54 | × | zava quits (~zava@ip5f5bdf0f.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2021-05-28 13:55:29 | × | ddellacosta quits (~ddellacos@86.106.121.110) (Remote host closed the connection) |
| 2021-05-28 13:55:59 | → | ddellacosta joins (~ddellacos@86.106.121.110) |
| 2021-05-28 13:56:04 | → | whiteline joins (~whiteline@c-64c6e253.54725-0-757473696b74.bbcust.telenor.se) |
| 2021-05-28 13:56:30 | × | ddellacosta quits (~ddellacos@86.106.121.110) (Remote host closed the connection) |
| 2021-05-28 13:56:38 | → | ddellacosta joins (~ddellacos@86.106.121.110) |
| 2021-05-28 13:57:10 | → | sayola joins (~vekto@dslb-088-078-152-150.088.078.pools.vodafone-ip.de) |
| 2021-05-28 13:57:44 | → | zzz joins (~yin@user/yin) |
| 2021-05-28 13:57:49 | → | aman joins (~lpyfist@user/aman) |
| 2021-05-28 14:00:19 | → | social_anthrax joins (~social_an@cpc104814-sgyl39-2-0-cust79.18-2.cable.virginm.net) |
| 2021-05-28 14:01:07 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-28 14:01:41 | ← | social_anthrax parts (~social_an@cpc104814-sgyl39-2-0-cust79.18-2.cable.virginm.net) () |
| 2021-05-28 14:02:01 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:9d49:4665:d75d:fdb) |
| 2021-05-28 14:02:55 | × | winter quits (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 272 seconds) |
| 2021-05-28 14:03:35 | → | ChrisSmith[m] joins (~cdsmithma@2001:470:69fc:105::284) |
| 2021-05-28 14:03:44 | ChrisSmith[m] | is now known as cdsmith |
| 2021-05-28 14:06:05 | × | dunham quits (~dunham@97-113-35-16.tukw.qwest.net) (Ping timeout: 252 seconds) |
| 2021-05-28 14:06:46 | × | python476 quits (~user@88.160.31.174) (Ping timeout: 264 seconds) |
| 2021-05-28 14:06:49 | → | benin joins (~benin@183.82.177.19) |
| 2021-05-28 14:06:54 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:9d49:4665:d75d:fdb) (Ping timeout: 264 seconds) |
| 2021-05-28 14:11:47 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-05-28 14:12:51 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:9d49:4665:d75d:fdb) |
| 2021-05-28 14:15:50 | → | basudev joins (~basudev@sourcehut/user/basudev) |
| 2021-05-28 14:16:22 | × | guest0123 quits (~aaron@2601:602:a080:fa0:3d68:2a1a:74b4:e9fa) (Ping timeout: 264 seconds) |
| 2021-05-28 14:17:18 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:9d49:4665:d75d:fdb) (Ping timeout: 248 seconds) |
| 2021-05-28 14:17:47 | × | ddellacosta quits (~ddellacos@86.106.121.110) (Remote host closed the connection) |
| 2021-05-28 14:17:48 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2021-05-28 14:18:15 | → | ddellacosta joins (~ddellacos@86.106.121.110) |
| 2021-05-28 14:19:17 | → | v01d4lph4 joins (~v01d4lph4@user/v01d4lph4) |
| 2021-05-28 14:20:57 | → | ddellaco_ joins (~ddellacos@86.106.121.62) |
| 2021-05-28 14:23:06 | × | ddellacosta quits (~ddellacos@86.106.121.110) (Ping timeout: 264 seconds) |
| 2021-05-28 14:23:13 | → | hughjfchen joins (~hughjfche@vmi556545.contaboserver.net) |
| 2021-05-28 14:23:34 | × | v01d4lph4 quits (~v01d4lph4@user/v01d4lph4) (Ping timeout: 244 seconds) |
| 2021-05-28 14:23:59 | → | _73 joins (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 2021-05-28 14:24:09 | × | gzj quits (~GZJ0X@185.212.59.97.16clouds.com) (Read error: Connection reset by peer) |
| 2021-05-28 14:24:54 | × | hughjfchen quits (~hughjfche@vmi556545.contaboserver.net) (Client Quit) |
| 2021-05-28 14:26:48 | × | ddellaco_ quits (~ddellacos@86.106.121.62) (Remote host closed the connection) |
| 2021-05-28 14:27:17 | → | ddellacosta joins (~ddellacos@86.106.121.62) |
| 2021-05-28 14:28:49 | → | tose joins (~tose@ip-85-160-8-1.eurotel.cz) |
All times are in UTC.