Newest at the top
| 2024-07-03 01:11:41 +0200 | turlando | (~turlando@user/turlando) (Ping timeout: 268 seconds) |
| 2024-07-03 01:00:01 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-07-03 00:58:07 +0200 | She | (haveident@libera/staff/she/her) |
| 2024-07-03 00:56:17 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) (Ping timeout: 272 seconds) |
| 2024-07-03 00:52:05 +0200 | She | (haveident@libera/staff/she/her) (Ping timeout: 612 seconds) |
| 2024-07-03 00:49:31 +0200 | noumenon | (~noumenon@2a01:799:cd8:e700:aa7e:eaff:fede:ff94) (Quit: Leaving) |
| 2024-07-03 00:36:01 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a9cb:4ca2:ea5e:65b) (Ping timeout: 246 seconds) |
| 2024-07-03 00:35:23 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-07-03 00:33:22 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-07-03 00:17:03 +0200 | ryan28 | (~ryan@65.59.236.66) (Quit: Client closed) |
| 2024-07-03 00:14:19 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 256 seconds) |
| 2024-07-03 00:09:54 +0200 | ryan28 | (~ryan@65.59.236.66) |
| 2024-07-02 23:55:58 +0200 | lain` | (lain`@user/lain/x-9874679) |
| 2024-07-02 23:54:25 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-07-02 23:53:39 +0200 | lain` | (lain`@user/lain/x-9874679) (Remote host closed the connection) |
| 2024-07-02 23:52:08 +0200 | lain` | (lain`@user/lain/x-9874679) |
| 2024-07-02 23:51:19 +0200 | elevenkb | (ab07dcdb5a@2a03:6000:1812:100::13ac) |
| 2024-07-02 23:47:20 +0200 | lain` | (lain`@user/lain/x-9874679) (Remote host closed the connection) |
| 2024-07-02 23:46:32 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-07-02 23:44:14 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-02 23:39:29 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-07-02 23:37:23 +0200 | pavonia | (~user@user/siracusa) |
| 2024-07-02 23:32:18 +0200 | ryan50 | (~ryan@65.59.236.66) (Ping timeout: 250 seconds) |
| 2024-07-02 23:30:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-02 23:22:56 +0200 | michalz | (~michalz@185.246.207.197) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-07-02 23:22:07 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-02 23:21:18 +0200 | AlexZenon | (~alzenon@94.233.240.124) |
| 2024-07-02 23:20:59 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 268 seconds) |
| 2024-07-02 23:18:00 +0200 | AlexZenon | (~alzenon@94.233.240.124) (Ping timeout: 255 seconds) |
| 2024-07-02 23:16:12 +0200 | <Leary> | ryan50: https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/data_kinds.html |
| 2024-07-02 23:11:43 +0200 | <ryan50> | were possible too. I've tried to look for documentation on the '[] syntax but seem to not be able to find anything comprehensive on it. Does anyone know a good resource I can use to learn more about type-level programming? |
| 2024-07-02 23:11:43 +0200 | <ryan50> | Hi, I've been looking through some libraries like polysemy and effectful to see how algebraic effects are being implemented, and I noticed that a lot of them use type level list literals to accomplish effect composition (e.g. '[Effect1, Effect2]). I know that Haskell's had type level numbers and strings for a while, but I didn't realize that lists |
| 2024-07-02 23:09:56 +0200 | AlexZenon | (~alzenon@94.233.240.124) |
| 2024-07-02 23:09:20 +0200 | ryan50 | (~ryan@65.59.236.66) |
| 2024-07-02 23:04:27 +0200 | AlexZenon | (~alzenon@94.233.240.124) (Ping timeout: 264 seconds) |
| 2024-07-02 23:03:54 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-07-02 22:57:03 +0200 | <int-e> | . o O ( forging pointers ) |
| 2024-07-02 22:47:54 +0200 | <geekosaur> | i kan spel |
| 2024-07-02 22:47:49 +0200 | <lambdabot> | GHC.Ptr.Ptr a |
| 2024-07-02 22:47:48 +0200 | <geekosaur> | :t Foreign.Ptr.nullPtr |
| 2024-07-02 22:47:44 +0200 | <lambdabot> | No module named ‘Forign.Ptr’ is imported. |
| 2024-07-02 22:47:44 +0200 | <lambdabot> | Not in scope: ‘Forign.Ptr.nullPtr’ |
| 2024-07-02 22:47:44 +0200 | <lambdabot> | error: |
| 2024-07-02 22:47:43 +0200 | <geekosaur> | :t Forign.Ptr.nullPtr |
| 2024-07-02 22:36:24 +0200 | <lambdabot> | error: Variable not in scope: nullPtr |
| 2024-07-02 22:36:23 +0200 | <dmj`> | :t nullPtr |
| 2024-07-02 22:35:22 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2024-07-02 22:31:16 +0200 | noumenon | (~noumenon@2a01:799:cd8:e700:aa7e:eaff:fede:ff94) |
| 2024-07-02 22:29:01 +0200 | EvanR | (~EvanR@user/evanr) |
| 2024-07-02 22:27:03 +0200 | destituion | (~destituio@2a02:2121:6cb:fbc3:2f81:ee37:cafd:a2e0) |