Newest at the top
2025-05-05 08:07:46 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-05-05 07:53:01 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-05-05 07:50:24 +0200 | <haskellbridge> | <hellwolf> I had to just learn and stumble on my own |
2025-05-05 07:49:30 +0200 | <haskellbridge> | on hindsight, it's trivial really. But neat. |
2025-05-05 07:49:28 +0200 | <haskellbridge> | <hellwolf> EvanR: after some sleep, and the correct constructors of curry and apply. I basically come up with the solution for both cofegen and emulation the ways you and tom was trying to teach me :) |
2025-05-05 07:49:10 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
2025-05-05 07:48:48 +0200 | swamp_ | (~zmt00@user/zmt00) (Ping timeout: 272 seconds) |
2025-05-05 07:48:37 +0200 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 252 seconds) |
2025-05-05 07:46:37 +0200 | <haskellbridge> | <hellwolf> monochrom: no, just an alias to (,) |
2025-05-05 07:45:21 +0200 | zmt01 | (~zmt00@user/zmt00) zmt00 |
2025-05-05 07:43:23 +0200 | tomku | (~tomku@user/tomku) tomku |
2025-05-05 07:43:07 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 272 seconds) |
2025-05-05 07:41:04 +0200 | natto17 | (~natto@129.154.243.159) natto |
2025-05-05 07:40:37 +0200 | natto17 | (~natto@129.154.243.159) (Ping timeout: 248 seconds) |
2025-05-05 07:31:56 +0200 | euleritian | (~euleritia@dynamic-176-006-137-052.176.6.pool.telefonica.de) |
2025-05-05 07:28:44 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
2025-05-05 07:22:37 +0200 | joeyadams | (~textual@syn-162-154-010-038.res.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com) |
2025-05-05 07:20:23 +0200 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
2025-05-05 07:18:24 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
2025-05-05 07:18:02 +0200 | la1n | (~la1n@81.222.178.255) |
2025-05-05 07:17:32 +0200 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
2025-05-05 07:08:40 +0200 | la1n23 | (~la1n@45.129.78.70) (Ping timeout: 252 seconds) |
2025-05-05 07:06:33 +0200 | erdem | (~null@user/erdem) (Leaving) |
2025-05-05 07:06:06 +0200 | la1n2 | (~la1n@109.197.204.68) (Ping timeout: 252 seconds) |
2025-05-05 07:03:43 +0200 | la1n23 | (~la1n@45.129.78.70) |
2025-05-05 07:02:18 +0200 | <probie> | EvanR: Programs which depend on an old enough version of base certainly don't depend on ghc-bignum |
2025-05-05 07:00:02 +0200 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
2025-05-05 07:00:00 +0200 | tavare | (~tavare@user/tavare) tavare |
2025-05-05 07:00:00 +0200 | tavare | (~tavare@150.129.88.189) (Changing host) |
2025-05-05 07:00:00 +0200 | tavare | (~tavare@150.129.88.189) |
2025-05-05 06:58:39 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-05-05 06:50:09 +0200 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) sp1ff |
2025-05-05 06:46:44 +0200 | <EvanR> | if ghc-bignum is a dependency of base and every program has base as a dependency does that mean every program depends on ghc-bignum |
2025-05-05 06:44:37 +0200 | <lambdabot> | error: Variable not in scope: naturalBit |
2025-05-05 06:44:36 +0200 | <EvanR> | :t naturalBit |
2025-05-05 06:39:16 +0200 | <EvanR> | error: unnatural |
2025-05-05 06:38:51 +0200 | <lambdabot> | *Exception: arithmetic underflow |
2025-05-05 06:38:50 +0200 | <EvanR> | > fromInteger (-123) :: Natural |
2025-05-05 06:38:45 +0200 | <lambdabot> | 123 |
2025-05-05 06:38:44 +0200 | <EvanR> | > fromInteger 123 :: Natural |
2025-05-05 06:38:40 +0200 | <lambdabot> | Defined. |
2025-05-05 06:38:39 +0200 | <EvanR> | @let import Numeric.Natural |
2025-05-05 06:38:35 +0200 | <monochrom> | Numeric.Natural |
2025-05-05 06:38:32 +0200 | jmcantrell_ | jmcantrell |
2025-05-05 06:38:24 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
2025-05-05 06:38:21 +0200 | <lambdabot> | Use -v (or `:set -v` in ghci) to see a list of the files searched for. |
2025-05-05 06:38:21 +0200 | <lambdabot> | Could not find module ‘Data.Natural’ |
2025-05-05 06:38:21 +0200 | <lambdabot> | /sandbox/tmp/.L.hs:110:1: error: |
2025-05-05 06:38:21 +0200 | <EvanR> | @let import Data.Natural |
2025-05-05 06:38:19 +0200 | user363627 | (~user@user/user363627) user363627 |