Logs: liberachat/#haskell
| 2021-07-04 20:57:34 | → | jared1 joins (~jared@node-1w7jr9yeneb62gnlkycjvhdv6.ipv6.telus.net) |
| 2021-07-04 20:57:50 | → | whiteline joins (~whiteline@c-cda8d954.54725-0-757473696b74.bbcust.telenor.se) |
| 2021-07-04 20:59:18 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 2021-07-04 20:59:54 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-07-04 20:59:55 | × | fengctor quits (~fengctor@bras-base-ngflon0508w-grc-11-76-68-2-143.dsl.bell.ca) (Read error: Connection reset by peer) |
| 2021-07-04 21:00:19 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-04 21:04:15 | ← | jared1 parts (~jared@node-1w7jr9yeneb62gnlkycjvhdv6.ipv6.telus.net) (WeeChat 3.2) |
| 2021-07-04 21:04:53 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-04 21:08:32 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 256 seconds) |
| 2021-07-04 21:09:30 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-07-04 21:10:42 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-04 21:10:47 | → | astra_ joins (sid289983@id-289983.stonehaven.irccloud.com) |
| 2021-07-04 21:14:19 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2021-07-04 21:16:29 | → | warnz joins (~warnz@2600:1700:77c0:5610:20b2:48fc:c4b7:f8df) |
| 2021-07-04 21:16:41 | × | bcmiller_ quits (~bm3719@66.42.95.185) (Quit: leaving) |
| 2021-07-04 21:17:14 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 2021-07-04 21:17:20 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2021-07-04 21:19:11 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-04 21:19:19 | × | cheater quits (~Username@user/cheater) (Remote host closed the connection) |
| 2021-07-04 21:20:56 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-07-04 21:21:00 | × | warnz quits (~warnz@2600:1700:77c0:5610:20b2:48fc:c4b7:f8df) (Ping timeout: 256 seconds) |
| 2021-07-04 21:23:50 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2021-07-04 21:25:25 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-04 21:27:18 | → | o1lo01ol1o joins (~o1lo01ol1@85.240.89.228) |
| 2021-07-04 21:28:44 | → | sheepduck joins (~sheepduck@user/sheepduck) |
| 2021-07-04 21:30:04 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 2021-07-04 21:30:30 | → | cheater joins (~Username@user/cheater) |
| 2021-07-04 21:31:44 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-04 21:32:54 | × | cuz quits (~user@2601:182:cc02:8b0:b9cd:400f:8605:1044) (Ping timeout: 256 seconds) |
| 2021-07-04 21:33:02 | × | sheepduck quits (~sheepduck@user/sheepduck) (Remote host closed the connection) |
| 2021-07-04 21:33:54 | × | jjhoo quits (jahakala@dsl-trebng21-58c18f-56.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-07-04 21:35:20 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-07-04 21:36:49 | → | jjhoo joins (~jahakala@dsl-trebng21-58c18f-56.dhcp.inet.fi) |
| 2021-07-04 21:41:53 | → | shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-07-04 21:42:53 | × | o1lo01ol1o quits (~o1lo01ol1@85.240.89.228) (Remote host closed the connection) |
| 2021-07-04 21:43:26 | → | o1lo01ol1o joins (~o1lo01ol1@bl7-89-228.dsl.telepac.pt) |
| 2021-07-04 21:44:02 | × | jrm quits (~jrm@156.34.187.65) (Ping timeout: 252 seconds) |
| 2021-07-04 21:47:06 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-07-04 21:47:42 | × | mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 252 seconds) |
| 2021-07-04 21:49:28 | × | o1lo01ol1o quits (~o1lo01ol1@bl7-89-228.dsl.telepac.pt) (Ping timeout: 272 seconds) |
| 2021-07-04 21:50:44 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 272 seconds) |
| 2021-07-04 21:50:45 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-04 21:51:03 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-04 21:53:12 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-07-04 21:54:37 | × | finsternis quits (~X@23.226.237.192) (Remote host closed the connection) |
| 2021-07-04 21:57:18 | <zzz> | is there a canonical way to avoid writing [minBound..maxBound] ? |
| 2021-07-04 21:58:13 | <zzz> | (aside from [minBound..]) |
| 2021-07-04 21:59:28 | × | fendor quits (~fendor@91.141.35.106.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 2021-07-04 21:59:29 | <geekosaur> | not that I'm aware of… and one might have problems. (With Double, for one.) |
| 2021-07-04 22:00:12 | <geekosaur> | Enum and Bounded are less thna ideally defined |
| 2021-07-04 22:00:51 | → | jrm joins (~jrm@156.34.187.65) |
| 2021-07-04 22:01:21 | → | fendor joins (~fendor@91.141.35.106.wireless.dyn.drei.com) |
| 2021-07-04 22:04:37 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 256 seconds) |
| 2021-07-04 22:05:03 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-04 22:06:02 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-07-04 22:06:10 | astra_ | is now known as astra` |
| 2021-07-04 22:07:27 | astra` | is now known as amish |
| 2021-07-04 22:07:30 | × | amish quits (sid289983@id-289983.stonehaven.irccloud.com) (Changing host) |
| 2021-07-04 22:07:30 | → | amish joins (sid289983@user/amish) |
| 2021-07-04 22:07:57 | amish | is now known as astra` |
| 2021-07-04 22:08:28 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 272 seconds) |
| 2021-07-04 22:08:35 | astra` | is now known as astra- |
| 2021-07-04 22:08:45 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-04 22:09:21 | astra- | is now known as astra^ |
| 2021-07-04 22:09:49 | astra^ | is now known as astra_ |
| 2021-07-04 22:10:07 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2021-07-04 22:10:13 | astra_ | is now known as astra` |
| 2021-07-04 22:13:38 | <zebrag> | For any given lambda-term (say, strongly normalizing), I want an equivalent term, but with only one redex. |
| 2021-07-04 22:14:58 | <zebrag> | So far I must have been asking google the wrong questions. |
| 2021-07-04 22:15:24 | × | glguy quits (x@libera/staff/glguy) (Quit: Quit) |
| 2021-07-04 22:15:49 | → | glguy joins (x@libera/staff/glguy) |
| 2021-07-04 22:18:39 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-07-04 22:21:03 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-07-04 22:21:16 | × | Topsi quits (~Tobias@dyndsl-095-033-017-135.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2021-07-04 22:22:50 | <zebrag> | Or there might be a theorem saying that there is no such transformation. |
| 2021-07-04 22:23:10 | × | MorrowM quits (~MorrowM_@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 268 seconds) |
| 2021-07-04 22:28:07 | × | yoctocell quits (~user@h87-96-130-155.cust.a3fiber.se) (Ping timeout: 258 seconds) |
| 2021-07-04 22:28:50 | <koz> | What constructor in Pat corresponds to (x : xs)-style matches? |
| 2021-07-04 22:29:13 | <koz> | Do I seriously gotta go 'ConP ''(:) [..., ....]' or something? |
| 2021-07-04 22:29:49 | <koz> | (well, specifically 'ConP ''(:) [VarP xName, VarP xsName]') |
| 2021-07-04 22:30:08 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 256 seconds) |
| 2021-07-04 22:30:35 | → | cjb joins (~cjb@user/cjb) |
| 2021-07-04 22:31:09 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-04 22:31:26 | <koz> | Or would that be InfixP? |
| 2021-07-04 22:33:27 | <glguy> | koz, it would work with either ConP or InfixP |
| 2021-07-04 22:33:38 | <koz> | I guess InfixP is a bit clearer? |
| 2021-07-04 22:33:53 | <glguy> | it'll be nicer when someone looks with -ddump-splices |
| 2021-07-04 22:34:02 | <koz> | Which will likely be me in an hour or so. |
| 2021-07-04 22:34:07 | <koz> | Thanks! |
| 2021-07-04 22:35:30 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2021-07-04 22:37:54 | × | acidjnk_new quits (~acidjnk@p200300d0c72b9560cc287b29f6323197.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2021-07-04 22:38:14 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 272 seconds) |
| 2021-07-04 22:38:21 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-04 22:38:42 | × | laguneucl quits (~Pitsikoko@2a02:587:dc0b:0:d8f7:cdfe:4658:bec4) (Ping timeout: 240 seconds) |
| 2021-07-04 22:40:20 | × | edward1 quits (~edward@cpc69060-oxfd26-2-0-cust374.4-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2021-07-04 22:41:23 | → | fengctor joins (~fengctor@bras-base-ngflon0508w-grc-11-76-68-2-143.dsl.bell.ca) |
| 2021-07-04 22:45:05 | → | timCF joins (~timCF@m91-129-99-175.cust.tele2.ee) |
| 2021-07-04 22:47:14 | × | timCF quits (~timCF@m91-129-99-175.cust.tele2.ee) (Client Quit) |
| 2021-07-04 22:48:13 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-07-04 22:48:23 | × | jumper149 quits (~jumper149@80.240.31.34) (Quit: WeeChat 3.1) |
All times are in UTC.