Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1350 1351 1352 1353 1354 1355 1356 1357 1358 1359 1360 .. 5022
— 502,152 events total
2020-11-18 09:51:54 × jlamothe quits (~jlamothe@198.251.55.207) (Ping timeout: 256 seconds)
2020-11-18 09:53:02 Axma80880 is now known as Axman6
2020-11-18 09:54:12 AWizzArd_ is now known as AWizzArd
2020-11-18 09:54:26 × AWizzArd quits (~code@gehrels.uberspace.de) (Changing host)
2020-11-18 09:54:26 → AWizzArd joins (~code@unaffiliated/awizzard)
2020-11-18 09:55:26 → Fiver joins (~Fiver@s91904426.blix.com)
2020-11-18 09:56:12 → FreeBirdLjj joins (~freebirdl@101.228.42.108)
2020-11-18 09:56:20 × Guest8782 quits (~NextHendr@finickitively.co.uk) (Changing host)
2020-11-18 09:56:20 → Guest8782 joins (~NextHendr@unaffiliated/nexthendrix)
2020-11-18 09:56:21 Guest8782 is now known as nh
2020-11-18 09:57:56 → Varis joins (~Tadas@unaffiliated/varis)
2020-11-18 09:59:17 → jakob_ joins (~textual@dynamic-093-135-025-031.93.135.pool.telefonica.de)
2020-11-18 10:00:25 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-18 10:01:06 → kritzefitz joins (~kritzefit@fw-front.credativ.com)
2020-11-18 10:01:30 × FreeBirdLjj quits (~freebirdl@101.228.42.108) (Ping timeout: 272 seconds)
2020-11-18 10:04:34 → Rudd0 joins (~Rudd0@185.189.115.103)
2020-11-18 10:04:56 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-11-18 10:06:15 → oish joins (~charlie@228.25.169.217.in-addr.arpa)
2020-11-18 10:08:56 → graf_blutwurst joins (~user@2001:171b:226e:adc0:bd9e:1b6a:d045:2128)
2020-11-18 10:09:05 → Franciman joins (~francesco@host-82-56-223-169.retail.telecomitalia.it)
2020-11-18 10:11:38 × wei2912 quits (~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
2020-11-18 10:13:25 × alp quits (~alp@2a01:e0a:58b:4920:f15e:f3ed:dd53:300e) (Ping timeout: 272 seconds)
2020-11-18 10:17:33 × da39a3ee5e6b4b0d quits (~da39a3ee5@ppp-27-55-83-106.revip3.asianet.co.th) (Ping timeout: 256 seconds)
2020-11-18 10:18:24 × guest111` quits (~user@49.5.6.87) (Quit: ERC (IRC client for Emacs 27.1))
2020-11-18 10:18:36 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-18 10:21:55 → comerijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-18 10:22:33 → alp joins (~alp@2a01:e0a:58b:4920:6901:cad7:f91c:94b1)
2020-11-18 10:23:20 → bitmagie joins (~Thunderbi@200116b806bfae005d76ad0c90a5d25b.dip.versatel-1u1.de)
2020-11-18 10:23:27 → christo joins (~chris@81.96.113.213)
2020-11-18 10:25:08 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-11-18 10:28:04 × bitmagie quits (~Thunderbi@200116b806bfae005d76ad0c90a5d25b.dip.versatel-1u1.de) (Client Quit)
2020-11-18 10:28:10 × christo quits (~chris@81.96.113.213) (Ping timeout: 256 seconds)
2020-11-18 10:40:13 → jonatanb joins (~jonatanb@83.24.155.27.ipv4.supernova.orange.pl)
2020-11-18 10:47:25 × cods quits (~fred@tuxee.net) (Ping timeout: 240 seconds)
2020-11-18 10:48:38 → cods joins (~fred@tuxee.net)
2020-11-18 10:49:22 × vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2020-11-18 10:53:34 × jakob_ quits (~textual@dynamic-093-135-025-031.93.135.pool.telefonica.de) (Quit: My Laptop has gone to sleep. ZZZzzz…)
2020-11-18 10:56:43 → jakob_ joins (~textual@dynamic-093-135-025-031.93.135.pool.telefonica.de)
2020-11-18 10:56:58 → __monty__ joins (~toonn@unaffiliated/toonn)
2020-11-18 10:57:15 × isacl___ quits (uid13263@gateway/web/irccloud.com/x-yofapmbxdjxmgdaw) (Quit: Connection closed for inactivity)
2020-11-18 11:01:00 hackage subG 0.3.0.0 - Some extension to the Foldable and Monoid classes. https://hackage.haskell.org/package/subG-0.3.0.0 (OleksandrZhabenko)
2020-11-18 11:01:27 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-18 11:01:37 → m0rphism joins (~m0rphism@HSI-KBW-095-208-098-207.hsi5.kabel-badenwuerttemberg.de)
2020-11-18 11:03:54 → CRTified[m] joins (schnecfkru@gateway/shell/matrix.org/x-qudvjaxqzetifqrv)
2020-11-18 11:05:21 → denisse_ joins (~spaceCat@gateway/tor-sasl/alephzer0)
2020-11-18 11:05:23 × denisse quits (~spaceCat@gateway/tor-sasl/alephzer0) (Ping timeout: 240 seconds)
2020-11-18 11:06:27 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2020-11-18 11:06:45 → LKoen joins (~LKoen@169.244.88.92.rev.sfr.net)
2020-11-18 11:07:53 × madog quits (~madog@163.ip-51-254-203.eu) (Quit: )
2020-11-18 11:09:05 jokester_ is now known as jokester
2020-11-18 11:09:07 → madog joins (~madog@163.ip-51-254-203.eu)
2020-11-18 11:09:19 → Sk01 joins (~sky3@1aac.wls.metu.edu.tr)
2020-11-18 11:09:30 hackage http-conduit-downloader 1.1.3 - HTTP downloader tailored for web-crawler needs. https://hackage.haskell.org/package/http-conduit-downloader-1.1.3 (VladimirShabanov)
2020-11-18 11:09:31 × jokester quits (~mono@unaffiliated/jokester) (Quit: WeeChat 2.9)
2020-11-18 11:11:19 → boxscape joins (54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55)
2020-11-18 11:15:40 → foursaph joins (~foursaph@dynamic-077-006-006-064.77.6.pool.telefonica.de)
2020-11-18 11:17:42 × Stanley00 quits (~stanley00@unaffiliated/stanley00) (Remote host closed the connection)
2020-11-18 11:17:51 → jokester joins (~mono@unaffiliated/jokester)
2020-11-18 11:17:54 → solonarv joins (~solonarv@astrasbourg-653-1-156-155.w90-6.abo.wanadoo.fr)
2020-11-18 11:18:06 → da39a3ee5e6b4b0d joins (~da39a3ee5@ppp-223-24-153-25.revip6.asianet.co.th)
2020-11-18 11:20:16 × comerijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-11-18 11:22:00 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-18 11:29:38 → jchia__ joins (~jchia@45.32.62.73)
2020-11-18 11:30:39 × jchia__ quits (~jchia@45.32.62.73) (Remote host closed the connection)
2020-11-18 11:31:26 → jchia__ joins (~jchia@45.32.62.73)
2020-11-18 11:32:27 × jchia__ quits (~jchia@45.32.62.73) (Remote host closed the connection)
2020-11-18 11:33:32 → jchia__ joins (~jchia@45.32.62.73)
2020-11-18 11:34:34 × jchia__ quits (~jchia@45.32.62.73) (Remote host closed the connection)
2020-11-18 11:35:01 → jchia__ joins (~jchia@45.32.62.73)
2020-11-18 11:36:03 × jchia__ quits (~jchia@45.32.62.73) (Remote host closed the connection)
2020-11-18 11:36:38 → jchia__ joins (~jchia@45.32.62.73)
2020-11-18 11:37:58 × jchia__ quits (~jchia@45.32.62.73) (Remote host closed the connection)
2020-11-18 11:38:40 × solonarv quits (~solonarv@astrasbourg-653-1-156-155.w90-6.abo.wanadoo.fr) (Ping timeout: 246 seconds)
2020-11-18 11:39:03 → jchia__ joins (~jchia@45.32.62.73)
2020-11-18 11:39:17 → ggole joins (~ggole@2001:8003:8119:7200:f828:bf:5160:1d23)
2020-11-18 11:40:17 × jchia__ quits (~jchia@45.32.62.73) (Remote host closed the connection)
2020-11-18 11:40:35 → solonarv joins (~solonarv@astrasbourg-653-1-156-4.w90-6.abo.wanadoo.fr)
2020-11-18 11:41:09 → jchia__ joins (~jchia@45.32.62.73)
2020-11-18 11:42:11 × jchia__ quits (~jchia@45.32.62.73) (Remote host closed the connection)
2020-11-18 11:42:37 → jchia__ joins (~jchia@45.32.62.73)
2020-11-18 11:45:55 × jchia__ quits (~jchia@45.32.62.73) (Remote host closed the connection)
2020-11-18 11:46:51 → jchia__ joins (~jchia@45.32.62.73)
2020-11-18 11:47:43 × Martinsos quits (~user@cpe-188-129-116-164.dynamic.amis.hr) (Ping timeout: 260 seconds)
2020-11-18 11:48:43 × jchia__ quits (~jchia@45.32.62.73) (Remote host closed the connection)
2020-11-18 11:49:26 → jchia__ joins (~jchia@45.32.62.73)
2020-11-18 11:50:29 × jchia__ quits (~jchia@45.32.62.73) (Remote host closed the connection)
2020-11-18 11:50:51 → jchia__ joins (~jchia@58.32.37.146)
2020-11-18 11:51:06 × chaosmasttter quits (~chaosmast@p200300c4a70b2a01fdbe436b20b9f284.dip0.t-ipconnect.de) (Quit: WeeChat 2.9)
2020-11-18 11:52:13 × alp quits (~alp@2a01:e0a:58b:4920:6901:cad7:f91c:94b1) (Ping timeout: 272 seconds)
2020-11-18 11:53:25 × da39a3ee5e6b4b0d quits (~da39a3ee5@ppp-223-24-153-25.revip6.asianet.co.th) (Ping timeout: 240 seconds)
2020-11-18 11:53:29 × Yumasi quits (~guillaume@2a01cb09b06b29ea21daa97718c35c9f.ipv6.abo.wanadoo.fr) (Ping timeout: 272 seconds)
2020-11-18 11:53:57 <boxscape> is there a way to make this type family work? Or alternatively, another way to construct and store a proof that one symbol is less than another? https://gist.github.com/JakobBruenker/7e9cae27d2e7d5ef0f9bf93a640a2a42
2020-11-18 11:54:56 → chaosmasttter joins (~chaosmast@p200300c4a70b2a01c0445547f28d17ad.dip0.t-ipconnect.de)
2020-11-18 11:56:00 × invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 256 seconds)
2020-11-18 11:57:26 × spake quits (~spake@84.39.117.57) (Remote host closed the connection)
2020-11-18 11:58:07 → kritzefitz_ joins (~kritzefit@fw-front.credativ.com)
2020-11-18 11:58:17 fendor_ is now known as fendor
2020-11-18 11:58:36 × kritzefitz quits (~kritzefit@fw-front.credativ.com) (Ping timeout: 240 seconds)
2020-11-18 11:59:40 <nshepperd> at the type level? proofs have to be values
2020-11-18 12:00:01 × Fiver quits (~Fiver@s91904426.blix.com) ()
←Prev  Next→
Page 1 .. 1350 1351 1352 1353 1354 1355 1356 1357 1358 1359 1360 .. 5022

All times are in UTC.