Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 555 556 557 558 559 560 561 562 563 564 565 .. 5022
— 502,152 events total
2020-10-10 11:17:43 → jchia__ joins (~jchia@45.32.62.73)
2020-10-10 11:18:38 × shatriff quits (~vitaliish@88.155.189.140) (Remote host closed the connection)
2020-10-10 11:18:48 × jchia__ quits (~jchia@45.32.62.73) (Client Quit)
2020-10-10 11:19:17 <Zetagon> burritoprogramme: I found this to be very good: https://www.seas.upenn.edu/~cis194/spring13/lectures.html
2020-10-10 11:19:22 × burritoprogramme quits (5549a868@athedsl-286922.home.otenet.gr) (Remote host closed the connection)
2020-10-10 11:19:59 <Zetagon> aw they left
2020-10-10 11:24:37 → __ngua joins (~rory@2402:800:6379:81de:c01f:8864:9ffb:a477)
2020-10-10 11:26:28 hackage uniqueness-periods-vector-properties 0.5.4.0 - Metrices for the maximum element for the uniqueness-periods-vector packages family. https://hackage.haskell.org/package/uniqueness-periods-vector-properties-0.5.4.0 (OleksandrZhabenko)
2020-10-10 11:26:56 → shatriff joins (~vitaliish@188.163.30.117)
2020-10-10 11:28:44 → jchia__ joins (~jchia@45.32.62.73)
2020-10-10 11:28:52 <dminuoso> ski: GHCs capability to both inline or let-float, is that not using the symmetric proprety of equality?
2020-10-10 11:29:52 × jchia__ quits (~jchia@45.32.62.73) (Remote host closed the connection)
2020-10-10 11:30:14 → jchia__ joins (~jchia@45.32.62.73)
2020-10-10 11:30:26 → Lycurgus joins (~niemand@98.4.96.130)
2020-10-10 11:31:26 × jchia__ quits (~jchia@45.32.62.73) (Remote host closed the connection)
2020-10-10 11:31:52 → jchia__ joins (~jchia@45.32.62.73)
2020-10-10 11:32:31 × sw1nn quits (~sw1nn@host86-173-104-87.range86-173.btcentralplus.com) (Quit: WeeChat 2.9)
2020-10-10 11:32:55 <dminuoso> mmm.. no I guess not
2020-10-10 11:33:28 <dminuoso> Well, but transitivity is assumed by the fact that the simplifier could repeatedly inline, and it's valid because equivalence is transitive.
2020-10-10 11:33:44 → sw1nn joins (~sw1nn@host86-173-104-87.range86-173.btcentralplus.com)
2020-10-10 11:35:44 → AlexisTP joins (~alexis@47.61.227.85)
2020-10-10 11:38:32 × jchia__ quits (~jchia@45.32.62.73) (Remote host closed the connection)
2020-10-10 11:39:07 → jchia__ joins (~jchia@58.32.35.239)
2020-10-10 11:39:11 × malook quits (~Thunderbi@5.82.111.189) (Quit: malook)
2020-10-10 11:40:05 × z0 quits (~z0@bl15-167-177.dsl.telepac.pt) (Ping timeout: 240 seconds)
2020-10-10 11:42:18 → hekkaidekapus joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-10-10 11:42:18 × carlomagno1 quits (~cararell@inet-hqmc01-o.oracle.com) (Remote host closed the connection)
2020-10-10 11:44:03 × hekkaidekapus] quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-10-10 11:44:34 × bliminse quits (~bliminse@host217-42-95-37.range217-42.btcentralplus.com) (Quit: leaving)
2020-10-10 11:44:57 → bliminse joins (~bliminse@host217-42-95-37.range217-42.btcentralplus.com)
2020-10-10 11:46:35 × bliminse quits (~bliminse@host217-42-95-37.range217-42.btcentralplus.com) (Client Quit)
2020-10-10 11:46:51 → alp_ joins (~alp@2a01:e0a:58b:4920:6865:8133:997e:f8ce)
2020-10-10 11:47:23 → bliminse joins (~bliminse@host217-42-95-37.range217-42.btcentralplus.com)
2020-10-10 11:51:05 × alx741 quits (~alx741@186.178.110.231) (Ping timeout: 240 seconds)
2020-10-10 11:52:49 × knupfer quits (~Thunderbi@i59F7FF4B.versanet.de) (Quit: knupfer)
2020-10-10 11:52:51 → knupfer1 joins (~Thunderbi@200116b824272b001da092274f1c78e5.dip.versatel-1u1.de)
2020-10-10 11:52:57 hackage uniqueness-periods-vector-examples 0.12.1.0 - Usage examples for the uniqueness-periods-vector series of packages https://hackage.haskell.org/package/uniqueness-periods-vector-examples-0.12.1.0 (OleksandrZhabenko)
2020-10-10 11:53:18 × knupfer1 quits (~Thunderbi@200116b824272b001da092274f1c78e5.dip.versatel-1u1.de) (Client Quit)
2020-10-10 11:53:27 → knupfer joins (~Thunderbi@200116b824272b00e587be5f92b4e04a.dip.versatel-1u1.de)
2020-10-10 11:53:40 × knupfer quits (~Thunderbi@200116b824272b00e587be5f92b4e04a.dip.versatel-1u1.de) (Client Quit)
2020-10-10 11:54:05 → knupfer joins (~Thunderbi@i59F7FF4B.versanet.de)
2020-10-10 11:54:26 → __monty__ joins (~toonn@unaffiliated/toonn)
2020-10-10 11:54:42 × knupfer quits (~Thunderbi@i59F7FF4B.versanet.de) (Client Quit)
2020-10-10 11:54:46 → knupfer1 joins (~Thunderbi@200116b824272b00f9d6b6afb819333d.dip.versatel-1u1.de)
2020-10-10 11:54:52 × knupfer1 quits (~Thunderbi@200116b824272b00f9d6b6afb819333d.dip.versatel-1u1.de) (Client Quit)
2020-10-10 11:55:02 → knupfer joins (~Thunderbi@200116b824272b00e4544ae7b377f8af.dip.versatel-1u1.de)
2020-10-10 11:55:13 × HaskellYogi quits (~vivekrama@49.207.201.29) (Remote host closed the connection)
2020-10-10 11:56:07 → HaskellYogi joins (~vivekrama@49.207.201.29)
2020-10-10 11:56:28 → machinedgod joins (~machinedg@24.105.81.50)
2020-10-10 11:57:15 × Lycurgus quits (~niemand@98.4.96.130) (Quit: Exeunt)
2020-10-10 11:58:13 → snakemas1 joins (~snakemast@213.100.206.23)
2020-10-10 11:58:30 × raichoo quits (~raichoo@dslb-188-100-004-167.188.100.pools.vodafone-ip.de) (Quit: Lost terminal)
2020-10-10 12:00:02 × kpyke quits (~kpyke@84.39.117.57) ()
2020-10-10 12:00:46 × HaskellYogi quits (~vivekrama@49.207.201.29) (Ping timeout: 246 seconds)
2020-10-10 12:02:12 → HaskellYogi joins (~vivekrama@49.207.201.29)
2020-10-10 12:04:46 × olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection)
2020-10-10 12:05:30 → alx741 joins (~alx741@181.196.68.41)
2020-10-10 12:05:35 → mpereira joins (~mpereira@2a02:810d:f40:d96:a091:1f5b:5d70:a338)
2020-10-10 12:06:10 × jchia__ quits (~jchia@58.32.35.239) (Remote host closed the connection)
2020-10-10 12:06:48 × HaskellYogi quits (~vivekrama@49.207.201.29) (Ping timeout: 260 seconds)
2020-10-10 12:07:36 → Lycurgus joins (~niemand@98.4.96.130)
2020-10-10 12:08:02 → HaskellYogi joins (~vivekrama@49.207.201.29)
2020-10-10 12:10:53 × AlexisTP quits (~alexis@47.61.227.85) (Quit: Leaving)
2020-10-10 12:11:08 → polyrain_ joins (~polyrain@2001:8003:e501:6901:d09:fb7:23ea:abbf)
2020-10-10 12:12:19 × HaskellYogi quits (~vivekrama@49.207.201.29) (Ping timeout: 246 seconds)
2020-10-10 12:12:22 × kuribas quits (~user@ptr-25vy0i9duk6e6r75xae.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
2020-10-10 12:12:27 × polyrain quits (~polyrain@2001:8003:e501:6901:44df:4585:3f4:a65c) (Ping timeout: 240 seconds)
2020-10-10 12:12:48 × lep-delete quits (~lep@94.31.82.44) (Read error: Connection reset by peer)
2020-10-10 12:13:25 → lep-delete joins (~lep@94.31.82.44)
2020-10-10 12:13:41 lep-delete is now known as test
2020-10-10 12:13:47 → cosimone joins (~cosimone@2001:b07:ae5:db26:a16f:75:586:b3b0)
2020-10-10 12:14:11 test is now known as Guest23146
2020-10-10 12:14:18 Guest23146 is now known as Guest40023
2020-10-10 12:16:55 → Codaraxis joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net)
2020-10-10 12:18:47 × Codaraxis_ quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Ping timeout: 240 seconds)
2020-10-10 12:19:02 × chaosmasttter quits (~chaosmast@p200300c4a72cce01453e6b536683ac55.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-10 12:21:31 × Lycurgus quits (~niemand@98.4.96.130) (Quit: Exeunt)
2020-10-10 12:24:00 → HaskellYogi joins (~vivekrama@49.207.201.29)
2020-10-10 12:24:59 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-10 12:28:09 → GyroW_ joins (~GyroW@d54c03e98.access.telenet.be)
2020-10-10 12:28:09 × GyroW_ quits (~GyroW@d54c03e98.access.telenet.be) (Changing host)
2020-10-10 12:28:09 → GyroW_ joins (~GyroW@unaffiliated/gyrow)
2020-10-10 12:28:35 × GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 240 seconds)
2020-10-10 12:28:48 × HaskellYogi quits (~vivekrama@49.207.201.29) (Ping timeout: 256 seconds)
2020-10-10 12:29:27 → HaskellYogi joins (~vivekrama@49.207.201.29)
2020-10-10 12:29:33 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-10-10 12:34:13 × HaskellYogi quits (~vivekrama@49.207.201.29) (Ping timeout: 260 seconds)
2020-10-10 12:35:06 → HaskellYogi joins (~vivekrama@49.207.201.29)
2020-10-10 12:36:39 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:64cc:c5bd:1d8b:5a4a)
2020-10-10 12:37:28 hackage aeson-deriving 0.1.1.2 - data types for compositional, type-directed serialization https://hackage.haskell.org/package/aeson-deriving-0.1.1.2 (Cliff_Harvey)
2020-10-10 12:39:25 × HaskellYogi quits (~vivekrama@49.207.201.29) (Ping timeout: 240 seconds)
2020-10-10 12:39:28 <siraben> Is there a way to read a value from a Text other than `(read . T.unpack)`?
2020-10-10 12:40:59 <tomjaguarpaw> Hoogle doesn't give any obvious suggestion: https://www.stackage.org/lts-16.17/hoogle?q=Read+a+%3D%3E+Text+-%3E+a
2020-10-10 12:43:08 <__monty__> There's Megaparsec (or other parser combinators).
2020-10-10 12:43:10 → chaosmasttter joins (~chaosmast@p200300c4a72cce01453e6b536683ac55.dip0.t-ipconnect.de)
2020-10-10 12:43:22 → HaskellYogi joins (~vivekrama@49.207.201.29)
2020-10-10 12:45:57 <maralorn> Are there any parsing libraries, where the parser type has a Lift instance?
2020-10-10 12:46:03 × knupfer quits (~Thunderbi@200116b824272b00e4544ae7b377f8af.dip.versatel-1u1.de) (Quit: knupfer)
2020-10-10 12:46:16 × snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 246 seconds)
2020-10-10 12:46:25 → knupfer joins (~Thunderbi@200116b824272b0050c6d95b26616b1d.dip.versatel-1u1.de)
←Prev  Next→
Page 1 .. 555 556 557 558 559 560 561 562 563 564 565 .. 5022

All times are in UTC.