Logs: liberachat/#haskell
| 2021-07-02 16:14:18 | <ph88_> | does anyone know if i can use environment variables in hakyll templates ? |
| 2021-07-02 16:16:31 | × | cheater quits (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2021-07-02 16:16:36 | → | cheater1__ joins (~Username@user/cheater) |
| 2021-07-02 16:16:38 | cheater1__ | is now known as cheater |
| 2021-07-02 16:18:39 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-02 16:19:13 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-07-02 16:19:28 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-07-02 16:20:20 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-07-02 16:21:20 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 268 seconds) |
| 2021-07-02 16:22:02 | → | dunkeln_ joins (~dunkeln@188.70.10.165) |
| 2021-07-02 16:22:34 | × | awth13 quits (~user@user/awth13) (Remote host closed the connection) |
| 2021-07-02 16:23:20 | → | Deide joins (~Deide@wire.desu.ga) |
| 2021-07-02 16:23:20 | × | Deide quits (~Deide@wire.desu.ga) (Changing host) |
| 2021-07-02 16:23:20 | → | Deide joins (~Deide@user/deide) |
| 2021-07-02 16:26:19 | niko | is now known as o |
| 2021-07-02 16:26:26 | → | awth13 joins (~user@user/awth13) |
| 2021-07-02 16:27:30 | × | dunkeln_ quits (~dunkeln@188.70.10.165) (Ping timeout: 268 seconds) |
| 2021-07-02 16:28:48 | × | nick8325 quits (~nick@2001:9b1:26f9:3e00:b7ea:ac95:e18:4c1d) (Ping timeout: 256 seconds) |
| 2021-07-02 16:28:50 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-02 16:29:21 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-07-02 16:29:30 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-02 16:29:56 | × | xff0x quits (~xff0x@2001:1a81:5272:cb00:309c:3c58:ff4a:6c98) (Ping timeout: 256 seconds) |
| 2021-07-02 16:30:22 | × | MoC quits (~moc@user/moc) (Quit: Konversation terminated!) |
| 2021-07-02 16:30:29 | → | nick8325 joins (~nick@89.38.69.136) |
| 2021-07-02 16:31:45 | → | xff0x joins (~xff0x@2001:1a81:5295:3000:f06b:55a4:6a29:7aa5) |
| 2021-07-02 16:33:23 | → | econo joins (uid147250@user/econo) |
| 2021-07-02 16:34:20 | × | v01d4lph4 quits (~v01d4lph4@user/v01d4lph4) (Remote host closed the connection) |
| 2021-07-02 16:34:54 | × | boxscape_ quits (~boxscape_@p4ff0ba7a.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2021-07-02 16:35:30 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-07-02 16:37:46 | → | dunkeln joins (~dunkeln@188.70.10.165) |
| 2021-07-02 16:38:36 | × | chris_ quits (~chris@81.96.113.213) (Ping timeout: 268 seconds) |
| 2021-07-02 16:39:45 | → | cjay joins (cjay@nerdbox.nerd2nerd.org) |
| 2021-07-02 16:40:52 | fendor_ | is now known as fendor |
| 2021-07-02 16:42:32 | → | pavonia joins (~user@user/siracusa) |
| 2021-07-02 16:43:21 | → | dunj3 joins (~dunj3@2001:16b8:30c8:f200:894f:8530:7817:7873) |
| 2021-07-02 16:45:13 | × | nick8325 quits (~nick@89.38.69.136) (Quit: Leaving.) |
| 2021-07-02 16:47:25 | → | warnz joins (~warnz@104-55-100-55.lightspeed.lsvlky.sbcglobal.net) |
| 2021-07-02 16:50:19 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-02 16:51:28 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-02 16:51:30 | × | warnz quits (~warnz@104-55-100-55.lightspeed.lsvlky.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-07-02 16:55:35 | × | Torro quits (Torro@gateway/vpn/protonvpn/torro) (Quit: leaving) |
| 2021-07-02 16:58:03 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-07-02 17:00:11 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-07-02 17:01:11 | → | lionkking joins (~lionkking@184.22.209.151) |
| 2021-07-02 17:01:12 | <lionkking> | War between freenode and libera is getting worse each day, save yourself join irc freenode chat for your freedom. |
| 2021-07-02 17:01:54 | ChanServ | sets mode +o monochrom |
| 2021-07-02 17:01:57 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Ping timeout: 265 seconds) |
| 2021-07-02 17:01:57 | monochrom | sets mode +b *!*@184.22.209.151 |
| 2021-07-02 17:01:57 | lionkking | is kicked by monochrom (lionkking) |
| 2021-07-02 17:02:51 | monochrom | sets mode -bb+b *!*@184.22.66.254 *!*@184.22.209.151 *!*@184.22.* |
| 2021-07-02 17:02:55 | monochrom | sets mode -o monochrom |
| 2021-07-02 17:03:31 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:5bf:4bd7:7b8b:fdcf) (Remote host closed the connection) |
| 2021-07-02 17:03:47 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 2021-07-02 17:04:11 | × | FragByte quits (~christian@user/fragbyte) (Quit: Quit) |
| 2021-07-02 17:04:45 | → | warnz joins (~warnz@2600:1700:77c0:5610:20b2:48fc:c4b7:f8df) |
| 2021-07-02 17:05:56 | → | FragByte joins (~christian@user/fragbyte) |
| 2021-07-02 17:06:00 | → | turlando joins (~turlando@user/turlando) |
| 2021-07-02 17:06:16 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-02 17:08:06 | → | Pickchea joins (~private@user/pickchea) |
| 2021-07-02 17:08:42 | × | warnz quits (~warnz@2600:1700:77c0:5610:20b2:48fc:c4b7:f8df) (Ping timeout: 240 seconds) |
| 2021-07-02 17:08:55 | → | ph88 joins (~ph88@2a02:8109:9e00:7e5c:d5c6:b6d7:546c:7e33) |
| 2021-07-02 17:09:35 | × | peterhil quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Quit: Must not waste too much time here...) |
| 2021-07-02 17:11:38 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:5bf:4bd7:7b8b:fdcf) |
| 2021-07-02 17:12:13 | × | ph88_ quits (~ph88@2a02:8109:9e00:7e5c:6036:8c69:37b7:47cf) (Ping timeout: 268 seconds) |
| 2021-07-02 17:12:26 | → | peterhil joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-07-02 17:14:23 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2021-07-02 17:14:51 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 2021-07-02 17:15:36 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-07-02 17:16:54 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-02 17:17:00 | → | wwalker joins (~wwalker@platinum.solid-constructs.com) |
| 2021-07-02 17:18:03 | → | boxscape_ joins (~boxscape_@p4ff0ba7a.dip0.t-ipconnect.de) |
| 2021-07-02 17:18:18 | × | motherfsck quits (~motherfsc@user/motherfsck) (Quit: quit) |
| 2021-07-02 17:18:52 | × | alx741 quits (~alx741@186.178.108.157) (Ping timeout: 265 seconds) |
| 2021-07-02 17:19:17 | → | polyphem joins (~polyphem@2a02:810d:640:776c:248d:533f:1b53:caea) |
| 2021-07-02 17:19:35 | <wwalker> | just started Graham Hutton's book "Programming in Haskell" first page of Hugs shows entering : 2<an upward pointing arrow> 3 anyone know how to type an upward pointing arrow in linux? |
| 2021-07-02 17:20:14 | <boxscape_> | do you mean this ^ or a different kind of arrow? |
| 2021-07-02 17:20:43 | <wwalker> | It shows a full arrow, but I bet I can use a carat. DOH. Thank you boxscape_ |
| 2021-07-02 17:21:04 | <boxscape_> | I've never seen anyone type a proper arrow in haskell FWIW, but I haven't read the book |
| 2021-07-02 17:21:39 | × | polyphem quits (~polyphem@2a02:810d:640:776c:248d:533f:1b53:caea) (Client Quit) |
| 2021-07-02 17:22:12 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-07-02 17:22:22 | <wwalker> | got the book last night. sitting in a doctors office. great place to study, *quite quiet* |
| 2021-07-02 17:22:44 | <wwalker> | the carat worked, of course, that was stupid of me. |
| 2021-07-02 17:22:51 | <boxscape_> | good :) |
| 2021-07-02 17:24:06 | × | azeem quits (~azeem@176.201.38.107) (Read error: Connection reset by peer) |
| 2021-07-02 17:24:20 | → | azeem joins (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 2021-07-02 17:25:01 | <c_wraith> | that sounds like unicodization gone wrong. (I think it's always wrong, but that sounds especially wrong) |
| 2021-07-02 17:26:19 | <wwalker> | c_wraith: you want to join my "Church of the US ACII"?? |
| 2021-07-02 17:26:48 | <wwalker> | probably a mathmetician writing a book using laTex? |
| 2021-07-02 17:27:40 | <monochrom> | LaTeX itself doesn't convert ^ to ↑. |
| 2021-07-02 17:27:53 | <tam> | wwalker: i saw in the book's reviews that the book uses logic symbols where haskells use plainer versions |
| 2021-07-02 17:28:13 | <wwalker> | Thanks tam! |
| 2021-07-02 17:28:14 | <monochrom> | A delusional LaTeX user, sure, but the cause is delusional, not LaTeX. |
| 2021-07-02 17:28:23 | <wwalker> | :-) |
| 2021-07-02 17:28:33 | <tam> | " A third drawback, all the examples are expressed in symbolic logic; thus they'll have to be translated into ASCII if you wish to replicate them." |
| 2021-07-02 17:29:00 | <monochrom> | I guess this is also the time to raise the following point. |
| 2021-07-02 17:29:08 | <boxscape_> | might depend on the revision, too - in the google books preview it looks like ascii |
| 2021-07-02 17:29:23 | <monochrom> | That doesn't happen to the 2nd edition. |
| 2021-07-02 17:29:42 | <wwalker> | so, in Hugs, how do I define a function? all the examples look like I would just type in : double(x) = x * x But Hugs erros on that with Syntax error unexpected '=' |
| 2021-07-02 17:30:06 | <monochrom> | In fact in the 2nd edition, it is s/hugs/ghci/, and the first session is 2+3*4 |
| 2021-07-02 17:30:39 | <monochrom> | with hugs you are very well advised to put that in a file and use :load |
All times are in UTC.