Logs: freenode/#haskell
| 2021-04-09 23:11:31 | → | cody joins (~user@47.186.207.161) |
| 2021-04-09 23:11:50 | × | dinciorip quits (~dincio@5.171.96.249) (Quit: WeeChat 3.1) |
| 2021-04-09 23:13:56 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:f844:bf7:f7e5:3f28) |
| 2021-04-09 23:15:21 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-09 23:15:54 | cody | is now known as codygman__` |
| 2021-04-09 23:18:05 | × | son0p quits (~ff@181.136.122.143) (Quit: Using Circe, the loveliest of all IRC clients) |
| 2021-04-09 23:18:26 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:f844:bf7:f7e5:3f28) (Ping timeout: 258 seconds) |
| 2021-04-09 23:21:22 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2021-04-09 23:22:08 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 2021-04-09 23:23:17 | → | HarveyPwca joins (~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net) |
| 2021-04-09 23:23:39 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:4940:54cf:a20c:47b7) |
| 2021-04-09 23:27:37 | × | fiedlr quits (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 2021-04-09 23:28:03 | → | fiedlr joins (~fiedlr@83.148.33.254) |
| 2021-04-09 23:28:20 | × | fiedlr quits (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 2021-04-09 23:29:48 | → | fiedlr joins (~fiedlr@83.148.33.254) |
| 2021-04-09 23:30:13 | × | fiedlr quits (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 2021-04-09 23:32:26 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 258 seconds) |
| 2021-04-09 23:35:09 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-09 23:37:02 | × | dariof4 quits (~dario@5.77.75.87) (Quit: WeeChat 3.1) |
| 2021-04-09 23:41:26 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-04-09 23:46:51 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:8b0d) |
| 2021-04-09 23:52:04 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-09 23:52:25 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) |
| 2021-04-09 23:52:38 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 240 seconds) |
| 2021-04-09 23:55:57 | <monochrom> | https://github.com/treblacy/hasdoc/blob/main/hasdoc :) |
| 2021-04-09 23:56:14 | × | average quits (uid473595@gateway/web/irccloud.com/x-ynxofalegrcaftsj) (Quit: Connection closed for inactivity) |
| 2021-04-09 23:58:27 | × | codygman__` quits (~user@47.186.207.161) (Ping timeout: 260 seconds) |
| 2021-04-09 23:58:30 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-04-09 23:59:26 | × | MarcelineVQ quits (~anja@198.254.208.159) (Ping timeout: 260 seconds) |
| 2021-04-10 00:02:03 | × | jumper149 quits (~jumper149@80.240.31.34) (Quit: WeeChat 3.1) |
| 2021-04-10 00:05:37 | → | average joins (uid473595@gateway/web/irccloud.com/x-sfwqebxzmekibyxn) |
| 2021-04-10 00:07:31 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-10 00:07:33 | × | snowflake quits (~snowflake@gateway/tor-sasl/snowflake) (Ping timeout: 240 seconds) |
| 2021-04-10 00:08:36 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-04-10 00:09:02 | → | snowflake joins (~snowflake@gateway/tor-sasl/snowflake) |
| 2021-04-10 00:09:12 | → | fiedlr joins (~fiedlr@83.148.33.254) |
| 2021-04-10 00:09:41 | × | kaction quits (~kaction@ppsr.interfacefinancial.com) (Ping timeout: 240 seconds) |
| 2021-04-10 00:11:20 | → | codygman__ joins (~user@47.186.207.161) |
| 2021-04-10 00:12:32 | <HannaM> | hasdoc... -_- ominous .. sounds like an amalgamation of "Hasso" (typical german name for dogs) and dog =) |
| 2021-04-10 00:14:26 | × | fiedlr quits (~fiedlr@83.148.33.254) (Ping timeout: 240 seconds) |
| 2021-04-10 00:14:38 | <monochrom> | But it's texdoc then s/tex/has/ |
| 2021-04-10 00:14:42 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 240 seconds) |
| 2021-04-10 00:15:04 | <wrunt> | HannaM: if you think that's ominous, check out https://hackage.haskell.org/package/haskdogs |
| 2021-04-10 00:15:05 | → | dcoutts__ joins (~duncan@94.186.125.91.dyn.plus.net) |
| 2021-04-10 00:16:03 | <HannaM> | people working with functional programming languages have either too much time on their hands or too much fun.. |
| 2021-04-10 00:16:07 | <HannaM> | or both |
| 2021-04-10 00:16:50 | <HannaM> | which is a good thing .. |
| 2021-04-10 00:18:02 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) () |
| 2021-04-10 00:21:32 | × | codygman__ quits (~user@47.186.207.161) (Remote host closed the connection) |
| 2021-04-10 00:27:55 | justsomeguy | wishes he could hold time in on his hands |
| 2021-04-10 00:28:20 | × | usr25 quits (~usr25@unaffiliated/usr25) (Ping timeout: 268 seconds) |
| 2021-04-10 00:31:48 | × | carlomagno quits (~cararell@148.87.23.13) (Remote host closed the connection) |
| 2021-04-10 00:31:57 | → | carlomagno joins (~cararell@148.87.23.13) |
| 2021-04-10 00:33:28 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-10 00:33:31 | × | troydm quits (~troydm@unaffiliated/troydm) (Ping timeout: 252 seconds) |
| 2021-04-10 00:34:16 | → | troydm joins (~troydm@unaffiliated/troydm) |
| 2021-04-10 00:36:07 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 2021-04-10 00:36:33 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-04-10 00:37:50 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:4940:54cf:a20c:47b7) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-10 00:38:42 | × | laudiacay quits (~laudiacay@tjctf/organizer/laudiacay) (Ping timeout: 240 seconds) |
| 2021-04-10 00:39:18 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-10 00:39:52 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-10 00:40:07 | → | Codaraxis_ joins (Codaraxis@gateway/vpn/mullvad/codaraxis) |
| 2021-04-10 00:40:58 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 260 seconds) |
| 2021-04-10 00:43:46 | → | MarcelineVQ joins (~anja@198.254.208.159) |
| 2021-04-10 00:43:46 | × | Codaraxis quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Ping timeout: 260 seconds) |
| 2021-04-10 00:43:58 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-04-10 00:45:21 | × | unyu quits (~pyon@unaffiliated/pyon) (Quit: brb) |
| 2021-04-10 00:46:50 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 268 seconds) |
| 2021-04-10 00:48:13 | → | gnumonic joins (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 2021-04-10 00:52:04 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-10 00:52:26 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) |
| 2021-04-10 00:54:49 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:c909:a70f:9ddc:64e1) |
| 2021-04-10 00:57:25 | × | SquidDev quits (~SquidDev@autoclave.squiddev.cc) (Quit: Ping timeout (120 seconds)) |
| 2021-04-10 00:58:47 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:c909:a70f:9ddc:64e1) (Client Quit) |
| 2021-04-10 01:00:55 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-10 01:06:06 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:61be:3f4:93d6:3634) |
| 2021-04-10 01:07:13 | → | fiedlr joins (~fiedlr@83.148.33.254) |
| 2021-04-10 01:10:28 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-10 01:12:03 | × | fiedlr quits (~fiedlr@83.148.33.254) (Ping timeout: 265 seconds) |
| 2021-04-10 01:14:39 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:48db:e3b5:fc1a:7a40) |
| 2021-04-10 01:15:38 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-04-10 01:19:11 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:48db:e3b5:fc1a:7a40) (Ping timeout: 258 seconds) |
| 2021-04-10 01:23:03 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:8b0d) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 2021-04-10 01:24:59 | × | xff0x quits (~xff0x@2001:1a81:5208:300:be3a:69c6:5501:708a) (Ping timeout: 250 seconds) |
| 2021-04-10 01:25:19 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:8b0d) |
| 2021-04-10 01:26:04 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-10 01:26:34 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:8b0d) (Client Quit) |
| 2021-04-10 01:27:03 | → | xff0x joins (~xff0x@2001:1a81:523f:f500:4d87:9c81:e6a4:ae82) |
| 2021-04-10 01:27:28 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-10 01:29:23 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-04-10 01:31:51 | × | eacameron quits (uid256985@gateway/web/irccloud.com/x-jxbqtyxssthbnird) (Quit: Connection closed for inactivity) |
| 2021-04-10 01:34:46 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-10 01:37:43 | → | jrqc joins (~rofl@96.78.87.197) |
| 2021-04-10 01:38:46 | × | Synthetica quits (uid199651@gateway/web/irccloud.com/x-qturgravizhhxunl) (Quit: Connection closed for inactivity) |
| 2021-04-10 01:42:11 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:8b0d) |
| 2021-04-10 01:46:25 | × | carlomagno quits (~cararell@148.87.23.13) (Remote host closed the connection) |
| 2021-04-10 01:46:43 | → | carlomagno joins (~cararell@148.87.23.13) |
| 2021-04-10 01:49:15 | <wroathe> | In the Typing Haskell in Haskell paper the author states that "the syntax of Haskell requires class arguments to be of the form v t1 ... tn, where v is a type variable, and t1,...,tn are types (and n ³ 0).". Isn't this the opposite of what Haskell actually requires? Or am I misunderstanding this. |
| 2021-04-10 01:49:25 | <wroathe> | "(All instance types must be of the form (T a1 ... an) where a1 ... an are *distinct type variables*, and each type variable appears at most once in the instance head." is the typical error I see when compiling |
All times are in UTC.