2024/04/22

Newest at the top

2024-04-22 11:09:48 +0200danse-nr3(~danse-nr3@151.47.40.219)
2024-04-22 11:08:47 +0200chele(~chele@user/chele)
2024-04-22 11:08:45 +0200danse-nr3(~danse-nr3@151.57.252.198) (Ping timeout: 268 seconds)
2024-04-22 11:08:34 +0200tititest(~tititest@ip-037-201-154-121.um10.pools.vodafone-ip.de) (Remote host closed the connection)
2024-04-22 11:06:46 +0200tititest(~tititest@ip-037-201-154-121.um10.pools.vodafone-ip.de)
2024-04-22 10:59:25 +0200qqq(~qqq@92.43.167.61)
2024-04-22 10:53:20 +0200qqq(~qqq@92.43.167.61) (Quit: Lost terminal)
2024-04-22 10:51:21 +0200madeleine-sydney(~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Konversation terminated!)
2024-04-22 10:47:07 +0200 <lambdabot> 0.5
2024-04-22 10:47:06 +0200 <probie> > let a n = (-1 :: Double)^n/sqrt(fromIntegral n) in a 4 -- Or you might want something like this
2024-04-22 10:43:22 +0200qqq(~qqq@92.43.167.61)
2024-04-22 10:41:27 +0200fmd(~fmd@2a02:8429:4b56:6801:6f51:61a3:1853:7494)
2024-04-22 10:40:43 +0200fmd(~fmd@user/framend) (Ping timeout: 260 seconds)
2024-04-22 10:35:41 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-04-22 10:34:45 +0200danse-nr3(~danse-nr3@151.57.252.198)
2024-04-22 10:34:18 +0200danse-nr3(~danse-nr3@151.57.252.198) (Remote host closed the connection)
2024-04-22 10:33:47 +0200danse-nr3(~danse-nr3@151.57.252.198)
2024-04-22 10:29:43 +0200zetef(~quassel@5.2.182.99)
2024-04-22 10:23:07 +0200ft(~ft@p4fc2a20e.dip0.t-ipconnect.de) (Quit: leaving)
2024-04-22 10:17:46 +0200titibandit(~titibandi@user/titibandit) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3))
2024-04-22 10:17:13 +0200random-jellyfish(~developer@user/random-jellyfish)
2024-04-22 10:17:13 +0200random-jellyfish(~developer@2a02:2f04:11e:c600:2256:e257:bc55:f1e6) (Changing host)
2024-04-22 10:17:13 +0200random-jellyfish(~developer@2a02:2f04:11e:c600:2256:e257:bc55:f1e6)
2024-04-22 10:15:49 +0200xdminsy(~xdminsy@117.147.70.233)
2024-04-22 10:13:30 +0200tzh(~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz)
2024-04-22 10:11:33 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-04-22 10:10:25 +0200fmd(~fmd@user/framend)
2024-04-22 10:09:15 +0200danza(~francesco@151.57.252.198) (Ping timeout: 268 seconds)
2024-04-22 10:01:39 +0200internatetional(~internate@2001:448a:20a3:c2e5:184a:ab53:496c:8f20) (Ping timeout: 256 seconds)
2024-04-22 10:01:27 +0200mei(~mei@user/mei)
2024-04-22 09:59:52 +0200mei(~mei@user/mei) (Quit: mei)
2024-04-22 09:44:48 +0200 <geekosaur> kinda hard for a number to be Integral and Floating at the same time
2024-04-22 09:44:34 +0200 <lambdabot> (Integral a, Floating a) => a
2024-04-22 09:44:33 +0200 <geekosaur> :t let a n = (-1)^n / sqrt(n) in a 4
2024-04-22 09:44:28 +0200 <geekosaur> use (**) instead of (^)
2024-04-22 09:43:50 +0200rosco(~rosco@2001:e68:5411:64b:93a3:a30a:6b31:925a) (Remote host closed the connection)
2024-04-22 09:42:22 +0200gmg(~user@user/gehmehgeh)
2024-04-22 09:33:15 +0200tok(~user@user/tok)
2024-04-22 09:32:17 +0200mei(~mei@user/mei)
2024-04-22 09:30:43 +0200sawilagar(~sawilagar@user/sawilagar)
2024-04-22 09:28:15 +0200mei(~mei@user/mei) (Ping timeout: 245 seconds)
2024-04-22 09:23:35 +0200tok(~user@user/tok) (Remote host closed the connection)
2024-04-22 09:20:45 +0200hgolden_(~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) (Ping timeout: 245 seconds)
2024-04-22 09:20:26 +0200 <hc> Hi all, could you explain to me how to solve this error? :)
2024-04-22 09:20:17 +0200 <lambdabot> prevents the constraint ‘(Show a0)’ from being solved.
2024-04-22 09:20:17 +0200 <lambdabot> • Ambiguous type variable ‘a0’ arising from a use of ‘show_M353431457368...
2024-04-22 09:20:17 +0200 <lambdabot> error:
2024-04-22 09:20:15 +0200 <hc> > let a n = (-1)^n / sqrt(n) in a 4
2024-04-22 09:20:08 +0200hc(~hc@mail.hce.li)
2024-04-22 09:19:10 +0200hgolden(~hgolden@2603:8000:9d00:3ed1:f849:272c:fda5:33c9)