Logs: freenode/#haskell
| 2020-10-02 03:21:09 | × | chreekat[m] quits (chreekatma@gateway/shell/matrix.org/x-umxlgtkybcwevjvb) (*.net *.split) |
| 2020-10-02 03:21:09 | × | lambdaclan quits (lambdaclan@gateway/shell/matrix.org/x-rosqvrjyauthsfym) (*.net *.split) |
| 2020-10-02 03:21:09 | × | io_r_us[m] quits (commandlin@gateway/shell/matrix.org/x-kjrwesnzoyenqgzx) (*.net *.split) |
| 2020-10-02 03:21:09 | × | barrucadu quits (~barrucadu@fsf/member/barrucadu) (*.net *.split) |
| 2020-10-02 03:21:09 | × | bcoppens_ quits (~bartcopp@vpn2.bartcoppens.be) (*.net *.split) |
| 2020-10-02 03:21:09 | × | noteness quits (~noteness@unaffiliated/nessessary129) (*.net *.split) |
| 2020-10-02 03:21:09 | × | opqdonut quits (opqdonut@pseudo.fixme.fi) (*.net *.split) |
| 2020-10-02 03:21:09 | × | Velpoman quits (~Velpoman@159.65.76.124) (*.net *.split) |
| 2020-10-02 03:21:09 | × | dixie quits (~dixie@real.wilbury.sk) (*.net *.split) |
| 2020-10-02 03:21:09 | × | uwap quits (~uwap@genja.uwap.name) (*.net *.split) |
| 2020-10-02 03:21:33 | × | jespada quits (~jespada@90.254.241.6) (Ping timeout: 260 seconds) |
| 2020-10-02 03:22:47 | × | snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 240 seconds) |
| 2020-10-02 03:24:13 | → | jespada joins (~jespada@90.254.246.48) |
| 2020-10-02 03:25:55 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-02 03:27:22 | × | vqrs quits (~vqrs@learnprogramming/regular/vqrs) (Ping timeout: 260 seconds) |
| 2020-10-02 03:28:56 | → | vqrs joins (~vqrs@learnprogramming/regular/vqrs) |
| 2020-10-02 03:30:21 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 2020-10-02 03:30:47 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2020-10-02 03:33:02 | × | kupi quits (uid212005@gateway/web/irccloud.com/x-zotxyxtmvllkllma) (Quit: Connection closed for inactivity) |
| 2020-10-02 03:33:24 | → | DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 2020-10-02 03:37:02 | × | falafel quits (~falafel@2605:e000:1527:d491:a806:37fa:6971:2798) (Ping timeout: 260 seconds) |
| 2020-10-02 03:38:08 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 2020-10-02 03:38:21 | × | nbloomf quits (~nbloomf@2600:1700:83e0:1f40:7d12:c491:8a2c:d3a6) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-02 03:39:28 | hackage | winery 1.3.1 - A compact, well-typed seralisation format for Haskell values https://hackage.haskell.org/package/winery-1.3.1 (FumiakiKinoshita) |
| 2020-10-02 03:40:20 | × | ryansmccoy quits (~ryansmcco@156.96.151.132) (Ping timeout: 272 seconds) |
| 2020-10-02 03:41:04 | → | ryansmccoy joins (~ryansmcco@193.37.254.27) |
| 2020-10-02 03:43:38 | → | macrover joins (~macrover@ip70-189-231-35.lv.lv.cox.net) |
| 2020-10-02 03:43:55 | × | ddere quits (uid110888@gateway/web/irccloud.com/x-xrsspmgdaswzvnim) (Ping timeout: 240 seconds) |
| 2020-10-02 03:44:15 | → | nbloomf joins (~nbloomf@2600:1700:83e0:1f40:7d12:c491:8a2c:d3a6) |
| 2020-10-02 03:44:16 | → | ddere joins (uid110888@gateway/web/irccloud.com/x-jyvwqhdwbvlfvtyo) |
| 2020-10-02 03:49:01 | → | thonkpod joins (~thonkpod@2001:19f0:ac01:b46:5400:1ff:fec7:d73d) |
| 2020-10-02 03:49:01 | → | entel joins (uid256215@botters/entel) |
| 2020-10-02 03:49:01 | → | eacameron joins (sid256985@gateway/web/irccloud.com/x-kpwlorbysgtnxhte) |
| 2020-10-02 03:49:01 | → | liff joins (liff@kapsi.fi) |
| 2020-10-02 03:49:01 | → | PotatoHatsue joins (berbermanp@gateway/shell/matrix.org/x-lcuapfbpkatzswxh) |
| 2020-10-02 03:49:01 | → | glowcoil joins (sid3405@gateway/web/irccloud.com/x-thsriowqmdkgjing) |
| 2020-10-02 03:49:01 | → | PoliticsII____ joins (sid193551@gateway/web/irccloud.com/x-nvfqluymqsvazvtl) |
| 2020-10-02 03:49:01 | → | angerman joins (sid209936@gateway/web/irccloud.com/x-kbnupcpypxlxxlnc) |
| 2020-10-02 03:49:01 | → | dequbed joins (~dequbed@yanduxian.paranoidlabs.org) |
| 2020-10-02 03:49:01 | → | koankeeper joins (sid216950@gateway/web/irccloud.com/x-zrkqcymdfzqfjfqv) |
| 2020-10-02 03:49:01 | → | teehemkay joins (sid14792@gateway/web/irccloud.com/x-xjwybgbmcxfolzwh) |
| 2020-10-02 03:49:01 | → | simony joins (sid226116@gateway/web/irccloud.com/x-ebcflagagczxghjj) |
| 2020-10-02 03:49:01 | → | miklcct joins (quasselcor@2001:19f0:7001:5ad:5400:2ff:feb6:50d7) |
| 2020-10-02 03:49:01 | → | mpickering joins (sid78412@gateway/web/irccloud.com/x-ugziboqyrxfitrmv) |
| 2020-10-02 03:49:01 | → | benwr__ joins (sid372383@gateway/web/irccloud.com/x-ehohzcwkyjbzpbwl) |
| 2020-10-02 03:49:01 | → | nlofaro joins (sid258233@gateway/web/irccloud.com/x-etxlydyigzmwkiap) |
| 2020-10-02 03:49:01 | → | unlink__ joins (~unlink2@p200300ebcf25bd0068eb9d9c94da2a17.dip0.t-ipconnect.de) |
| 2020-10-02 03:49:01 | → | srid joins (sridmatrix@gateway/shell/matrix.org/x-zqttickmrfyduksr) |
| 2020-10-02 03:49:01 | → | michaelpj1 joins (michaelpjm@gateway/shell/matrix.org/x-bmrqrkqdmdnabvkc) |
| 2020-10-02 03:49:01 | → | johnnyboy[m] joins (gifumatrix@gateway/shell/matrix.org/x-xczqbcixpmjhwvre) |
| 2020-10-02 03:49:01 | → | chreekat[m] joins (chreekatma@gateway/shell/matrix.org/x-umxlgtkybcwevjvb) |
| 2020-10-02 03:49:01 | → | lambdaclan joins (lambdaclan@gateway/shell/matrix.org/x-rosqvrjyauthsfym) |
| 2020-10-02 03:49:01 | → | io_r_us[m] joins (commandlin@gateway/shell/matrix.org/x-kjrwesnzoyenqgzx) |
| 2020-10-02 03:49:01 | → | barrucadu joins (~barrucadu@fsf/member/barrucadu) |
| 2020-10-02 03:49:01 | → | bcoppens_ joins (~bartcopp@vpn2.bartcoppens.be) |
| 2020-10-02 03:49:01 | → | noteness joins (~noteness@unaffiliated/nessessary129) |
| 2020-10-02 03:49:01 | → | opqdonut joins (opqdonut@pseudo.fixme.fi) |
| 2020-10-02 03:49:01 | → | Velpoman joins (~Velpoman@159.65.76.124) |
| 2020-10-02 03:49:01 | → | dixie joins (~dixie@real.wilbury.sk) |
| 2020-10-02 03:49:01 | → | uwap joins (~uwap@genja.uwap.name) |
| 2020-10-02 03:51:29 | × | nineonine quits (~nineonine@216.81.48.202) (Remote host closed the connection) |
| 2020-10-02 03:52:34 | × | cyphase quits (~cyphase@unaffiliated/cyphase) (Ping timeout: 260 seconds) |
| 2020-10-02 03:53:28 | → | jedws joins (~jedws@121.209.139.222) |
| 2020-10-02 03:55:43 | → | drewx2 joins (~drewx2@188.126.89.194) |
| 2020-10-02 03:56:28 | hackage | ham 0.1.0.0 - https://hackage.haskell.org/package/ham-0.1.0.0 (ChristianGosch) |
| 2020-10-02 04:00:07 | × | jespada quits (~jespada@90.254.246.48) (Ping timeout: 240 seconds) |
| 2020-10-02 04:01:16 | × | aaaaaa quits (~ArthurStr@host-91-90-11-13.soborka.net) (Quit: leaving) |
| 2020-10-02 04:01:27 | → | falafel joins (~falafel@2605:e000:1527:d491:a806:37fa:6971:2798) |
| 2020-10-02 04:01:47 | × | polyphem quits (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Ping timeout: 260 seconds) |
| 2020-10-02 04:02:33 | → | jespada joins (~jespada@90.254.246.48) |
| 2020-10-02 04:02:35 | → | cyphase joins (~cyphase@unaffiliated/cyphase) |
| 2020-10-02 04:04:38 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-02 04:06:12 | × | lemmih quits (~lemmih@2405:800:9030:2080:640b:57cc:705a:e759) (Ping timeout: 260 seconds) |
| 2020-10-02 04:11:24 | → | lemmih joins (~lemmih@2405:800:9030:2080:640b:57cc:705a:e759) |
| 2020-10-02 04:14:56 | × | ddellacosta quits (~dd@86.106.121.168) (Ping timeout: 265 seconds) |
| 2020-10-02 04:18:11 | <hololeap> | class IsFoo f n e where runFoo :: RunFoo n e f |
| 2020-10-02 04:19:34 | × | HaskellYogi quits (~vivekrama@49.207.197.215) (Remote host closed the connection) |
| 2020-10-02 04:19:52 | <hololeap> | what is the "correct" ordering of type variables for IsFoo _ _ _? `f` is the main type, while `n` and `e` are really just there because RunFoo requires them |
| 2020-10-02 04:20:35 | × | Bergle_1 quits (~Bergle_4@101.165.90.119) (Read error: Connection reset by peer) |
| 2020-10-02 04:20:56 | → | Bergle_1 joins (~Bergle_4@101.165.90.119) |
| 2020-10-02 04:21:07 | × | lemmih quits (~lemmih@2405:800:9030:2080:640b:57cc:705a:e759) (Ping timeout: 240 seconds) |
| 2020-10-02 04:21:36 | <hololeap> | does the ordering of type variables for a multi param type class have any significance? |
| 2020-10-02 04:21:37 | → | HaskellYogi joins (~vivekrama@49.207.197.215) |
| 2020-10-02 04:22:16 | × | jackdk quits (sid373013@gateway/web/irccloud.com/x-zfxvkywjzvccpywo) (Ping timeout: 256 seconds) |
| 2020-10-02 04:22:50 | × | ullbeking quits (sid5364@gateway/web/irccloud.com/x-uurdaxugthoxygpu) (Ping timeout: 256 seconds) |
| 2020-10-02 04:22:56 | → | coot joins (~coot@37.30.49.34.nat.umts.dynamic.t-mobile.pl) |
| 2020-10-02 04:24:00 | → | jackdk joins (sid373013@gateway/web/irccloud.com/x-xzvlvnjtehxxtifm) |
| 2020-10-02 04:25:06 | × | thi quits (sid97277@gateway/web/irccloud.com/x-mxfhyckwttphlfps) (Ping timeout: 256 seconds) |
| 2020-10-02 04:25:16 | → | thi joins (sid97277@gateway/web/irccloud.com/x-dqtrzegkhhzyfxqr) |
| 2020-10-02 04:26:03 | → | ullbeking joins (sid5364@gateway/web/irccloud.com/x-usiikxzxacqmemve) |
| 2020-10-02 04:27:34 | × | HaskellYogi quits (~vivekrama@49.207.197.215) (Ping timeout: 260 seconds) |
| 2020-10-02 04:28:21 | × | fissureman_ quits (~quassel@c-73-163-84-25.hsd1.dc.comcast.net) (Ping timeout: 272 seconds) |
| 2020-10-02 04:28:57 | × | nbloomf quits (~nbloomf@2600:1700:83e0:1f40:7d12:c491:8a2c:d3a6) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-02 04:32:33 | → | Clough joins (~Cain@194-193-141-75.tpgi.com.au) |
| 2020-10-02 04:35:02 | <shachaf> | Is there some sort of functionaldependency? |
| 2020-10-02 04:38:12 | → | nbloomf joins (~nbloomf@2600:1700:83e0:1f40:705c:850:3ca2:e90e) |
| 2020-10-02 04:39:27 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2020-10-02 04:39:45 | × | borne quits (~fritjof@200116b864e6dd0007933c164a08810c.dip.versatel-1u1.de) (Ping timeout: 272 seconds) |
| 2020-10-02 04:41:01 | → | borne joins (~fritjof@200116b8644ae80060d3dbeddb543969.dip.versatel-1u1.de) |
| 2020-10-02 04:43:37 | → | day_ joins (~Unknown@unaffiliated/day) |
All times are in UTC.