Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 764 765 766 767 768 769 770 771 772 773 774 .. 5022
— 502,152 events total
2020-10-21 03:16:50 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 256 seconds)
2020-10-21 03:17:25 × geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds)
2020-10-21 03:18:21 × da39a3ee5e6b4b0d quits (~textual@n11211935170.netvigator.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-21 03:19:24 × dwt quits (~dwt@c-98-200-58-177.hsd1.tx.comcast.net) (Ping timeout: 265 seconds)
2020-10-21 03:20:27 × acidjnk_new2 quits (~acidjnk@p200300d0c7237831d40d0866fc0488e0.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-21 03:21:36 × Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 246 seconds)
2020-10-21 03:29:30 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-21 03:30:58 <dsal> texasmynsted: finally got my ghci running and can confirm: https://www.irccloud.com/pastebin/IV3jl2bc/conv.hs
2020-10-21 03:31:57 × oisdk quits (~oisdk@2001:bb6:3329:d100:c8f6:1bbe:8153:581f) (Quit: oisdk)
2020-10-21 03:32:23 <dsal> texasmynsted: with decode as mentioned above: https://www.irccloud.com/pastebin/w46VHMk2/
2020-10-21 03:32:45 <texasmynsted> :-)
2020-10-21 03:32:53 → oisdk joins (~oisdk@2001:bb6:3329:d100:c8f6:1bbe:8153:581f)
2020-10-21 03:33:40 → christo joins (~chris@81.96.113.213)
2020-10-21 03:34:58 <dsal> Does that make sense?
2020-10-21 03:35:13 <dsal> (my brain is feeling kind of sluggish tonight, so I'm surprised that typechecked)
2020-10-21 03:35:19 → Saukk joins (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4)
2020-10-21 03:35:54 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-21 03:36:22 × polyrain quits (~polyrain@2001:8003:e501:6901:d502:fff6:715b:77f5) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-21 03:40:55 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2020-10-21 03:42:53 → gnumonic joins (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net)
2020-10-21 03:43:25 × jespada quits (~jespada@90.254.245.15) (Ping timeout: 240 seconds)
2020-10-21 03:43:34 × m0rphism quits (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) (Ping timeout: 265 seconds)
2020-10-21 03:45:59 <dsal> The one in the middle might look a little complicated, but it works with all Foldables, not just Vector. Partially confusing because I didn't apply it to the `got` variable that I'd defined for that purpose: https://www.irccloud.com/pastebin/0Gcm62uR/got.hs
2020-10-21 03:46:21 → jespada joins (~jespada@90.254.245.15)
2020-10-21 03:49:10 → dwt joins (~dwt@c-98-200-58-177.hsd1.tx.comcast.net)
2020-10-21 03:52:16 <Squarism> Someimes i feel ghci ":info class" gets too much with all instances listed. Isnt there just a command showing the class?
2020-10-21 03:52:44 → nineonin_ joins (~textual@216-19-190-182.dyn.novuscom.net)
2020-10-21 03:52:45 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 246 seconds)
2020-10-21 03:54:56 → bitmagie joins (~Thunderbi@200116b806c15c00bd70654fe0e81318.dip.versatel-1u1.de)
2020-10-21 03:56:06 × Sheilong quits (uid293653@gateway/web/irccloud.com/x-ftxlshtfjorkikim) ()
2020-10-21 03:58:52 PotatoHatsue[Q] is now known as PotatoHatsue|T
2020-10-21 04:00:10 × ph88 quits (~ph88@ip5f5af0cc.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds)
2020-10-21 04:01:11 <ghoulguy> Not that I know of
2020-10-21 04:01:28 hackage lens-filesystem 0.1.0.1 - Lens interface for your filesystem; still a bit experimental https://hackage.haskell.org/package/lens-filesystem-0.1.0.1 (ChrisPenner)
2020-10-21 04:04:59 → polyrain joins (~polyrain@2001:8003:e501:6901:d502:fff6:715b:77f5)
2020-10-21 04:05:04 → jsomedon joins (~jsomedon@111.197.237.160)
2020-10-21 04:05:13 × nek0 quits (~nek0@2a01:4f8:222:2b41::12) (Quit: ZNC 1.7.5 - https://znc.in)
2020-10-21 04:05:40 → nek0 joins (~nek0@mail.nek0.eu)
2020-10-21 04:06:21 × irc_user quits (uid423822@gateway/web/irccloud.com/x-ccinjvlcbfblsfxt) (Quit: Connection closed for inactivity)
2020-10-21 04:06:29 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-21 04:06:39 → burg_philo joins (~igloo@pool-100-33-61-227.nycmny.fios.verizon.net)
2020-10-21 04:06:41 × Saukk quits (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) (Remote host closed the connection)
2020-10-21 04:06:54 → bartemius joins (~bartemius@109.252.19.142)
2020-10-21 04:08:22 × burg_philo quits (~igloo@pool-100-33-61-227.nycmny.fios.verizon.net) (Client Quit)
2020-10-21 04:08:48 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-21 04:10:21 → Rudd0 joins (~Rudd0@185.189.115.103)
2020-10-21 04:10:43 × polyrain quits (~polyrain@2001:8003:e501:6901:d502:fff6:715b:77f5) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-21 04:10:54 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 256 seconds)
2020-10-21 04:11:19 × gnumonic quits (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Read error: Connection reset by peer)
2020-10-21 04:14:58 → huluobo joins (8024078d@128.36.7.141)
2020-10-21 04:15:42 × huluobo quits (8024078d@128.36.7.141) (Remote host closed the connection)
2020-10-21 04:16:00 × evanjs quits (~evanjs@075-129-188-019.res.spectrum.com) (Quit: ZNC 1.8.1 - https://znc.in)
2020-10-21 04:16:27 hackage dhall-lsp-server 1.0.11 - Language Server Protocol (LSP) server for Dhall https://hackage.haskell.org/package/dhall-lsp-server-1.0.11 (GabrielGonzalez)
2020-10-21 04:17:11 × texasmynsted quits (~texasmyns@62.182.99.148) (Remote host closed the connection)
2020-10-21 04:17:25 → evanjs joins (~evanjs@075-129-188-019.res.spectrum.com)
2020-10-21 04:17:28 hackage dhall-json 1.7.3 - Convert between Dhall and JSON or YAML https://hackage.haskell.org/package/dhall-json-1.7.3 (GabrielGonzalez)
2020-10-21 04:18:27 hackage dhall-yaml 1.2.3 - Convert between Dhall and YAML https://hackage.haskell.org/package/dhall-yaml-1.2.3 (GabrielGonzalez)
2020-10-21 04:19:28 hackage dhall-bash 1.0.34 - Compile Dhall to Bash https://hackage.haskell.org/package/dhall-bash-1.0.34 (GabrielGonzalez)
2020-10-21 04:21:08 × xff0x_ quits (~fox@2001:1a81:529c:a900:bce5:4c81:f65e:145e) (Ping timeout: 260 seconds)
2020-10-21 04:22:01 → xff0x_ joins (~fox@2001:1a81:529c:a900:9ed:6089:168f:4946)
2020-10-21 04:23:44 × jsomedon quits (~jsomedon@111.197.237.160) (Quit: jsomedon)
2020-10-21 04:24:16 × solonarv quits (~solonarv@astrasbourg-552-1-23-6.w90-13.abo.wanadoo.fr) (Ping timeout: 256 seconds)
2020-10-21 04:24:58 hackage dhall-nix 1.1.18 - Dhall to Nix compiler https://hackage.haskell.org/package/dhall-nix-1.1.18 (GabrielGonzalez)
2020-10-21 04:25:57 hackage dhall-nixpkgs 1.0.2 - Convert Dhall projects to Nix packages https://hackage.haskell.org/package/dhall-nixpkgs-1.0.2 (GabrielGonzalez)
2020-10-21 04:26:04 → jamm_ joins (~jamm@unaffiliated/jamm)
2020-10-21 04:26:29 × xiinotulp quits (~q@ppp-27-55-74-146.revip3.asianet.co.th) (Quit: Leaving)
2020-10-21 04:26:57 hackage dhall 1.36.0 - A configuration language guaranteed to terminate https://hackage.haskell.org/package/dhall-1.36.0 (GabrielGonzalez)
2020-10-21 04:27:57 hackage dhall-docs 1.0.2 - Generate HTML docs from a dhall package https://hackage.haskell.org/package/dhall-docs-1.0.2 (GabrielGonzalez)
2020-10-21 04:31:13 → scar451 joins (~scar45@185.163.110.116)
2020-10-21 04:32:21 → acidjnk_new2 joins (~acidjnk@p200300d0c7237831d40d0866fc0488e0.dip0.t-ipconnect.de)
2020-10-21 04:43:01 → day_ joins (~Unknown@unaffiliated/day)
2020-10-21 04:44:18 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-10-21 04:44:41 × nek0 quits (~nek0@mail.nek0.eu) (Quit: ZNC 1.7.5 - https://znc.in)
2020-10-21 04:46:50 × day quits (~Unknown@unaffiliated/day) (Ping timeout: 272 seconds)
2020-10-21 04:46:50 day_ is now known as day
2020-10-21 04:50:11 × phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 258 seconds)
2020-10-21 04:51:33 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
2020-10-21 04:52:28 → Tario joins (~Tario@201.192.165.173)
2020-10-21 04:54:13 × avoandmayo quits (~textual@122-58-158-238-adsl.sparkbb.co.nz) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-21 04:58:43 → coot joins (~coot@37.30.49.255.nat.umts.dynamic.t-mobile.pl)
2020-10-21 04:59:38 × dwt quits (~dwt@c-98-200-58-177.hsd1.tx.comcast.net) (Ping timeout: 256 seconds)
2020-10-21 05:00:25 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-21 05:02:25 × Maxdamantus quits (~Maxdamant@unaffiliated/maxdamantus) (Ping timeout: 240 seconds)
2020-10-21 05:02:36 × thunderrd quits (~thunderrd@183.182.110.178) (Remote host closed the connection)
2020-10-21 05:02:54 × coot quits (~coot@37.30.49.255.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection)
2020-10-21 05:04:06 → thir joins (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de)
2020-10-21 05:04:16 → coot joins (~coot@37.30.49.255.nat.umts.dynamic.t-mobile.pl)
2020-10-21 05:04:34 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds)
2020-10-21 05:04:34 → Maxdamantus joins (~Maxdamant@unaffiliated/maxdamantus)
2020-10-21 05:05:12 × falafel quits (~falafel@71-34-132-121.clsp.qwest.net) (Ping timeout: 272 seconds)
2020-10-21 05:06:32 × bartemius quits (~bartemius@109.252.19.142) (Remote host closed the connection)
2020-10-21 05:06:49 × bergsans quits (~bergsans@c80-217-8-29.bredband.comhem.se) (Ping timeout: 264 seconds)
2020-10-21 05:06:51 → da39a3ee5e6b4b0d joins (~textual@n11211935170.netvigator.com)
2020-10-21 05:07:16 × Unhammer quits (~Unhammer@gateway/tor-sasl/unhammer) (Remote host closed the connection)
2020-10-21 05:07:18 → bergsans joins (~bergsans@c80-217-8-29.bredband.comhem.se)
2020-10-21 05:07:40 → dwt joins (~dwt@c-98-200-58-177.hsd1.tx.comcast.net)
2020-10-21 05:07:53 → Unhammer joins (~Unhammer@gateway/tor-sasl/unhammer)
2020-10-21 05:08:57 × thir quits (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-21 05:09:41 × jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection)
2020-10-21 05:10:06 → jamm_ joins (~jamm@unaffiliated/jamm)
←Prev  Next→
Page 1 .. 764 765 766 767 768 769 770 771 772 773 774 .. 5022

All times are in UTC.