Newest at the top
| 2025-05-05 09:33:10 +0200 | <tomsmeding> | perhaps? |
| 2025-05-05 09:33:10 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-05-05 09:33:06 +0200 | <tomsmeding> | you're mapping the exponential object in your source category to the exponential object in your target category (Hask) |
| 2025-05-05 09:32:14 +0200 | <hellwolf> | "stealing lambda," instead of reimplementing may be what describes what I am really doing. I created a bridge between haskell and other target language. The bridge is categrical and simple to interpret. |
| 2025-05-05 09:24:10 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-05-05 09:24:04 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 2025-05-05 09:22:46 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-05-05 09:07:11 +0200 | michalz | (~michalz@185.246.207.203) |
| 2025-05-05 09:06:47 +0200 | michalz | (~michalz@185.246.207.221) (Ping timeout: 244 seconds) |
| 2025-05-05 09:00:51 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-05 09:00:06 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-05 08:58:07 +0200 | <tomsmeding> | hellwolf: best way to learn |
| 2025-05-05 08:46:48 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f82797a1539102dd80f.dip0.t-ipconnect.de) acidjnk |
| 2025-05-05 08:37:51 +0200 | kenran | (~void@user/kenran) kenran |
| 2025-05-05 08:21:18 +0200 | tromp | (~textual@2001:1c00:3487:1b00:25b8:e34c:8097:c1c7) |
| 2025-05-05 08:16:26 +0200 | kuribas | (~user@2a02:1810:2825:6000:1ac2:79ca:2c05:6e90) kuribas |
| 2025-05-05 08:13:54 +0200 | Guest11 | (~Guest11@2a02:26f7:c5c8:4000:e000::2) (Client Quit) |
| 2025-05-05 08:10:59 +0200 | Guest11 | (~Guest11@2a02:26f7:c5c8:4000:e000::2) |
| 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 |