Newest at the top
2024-07-03 02:47:04 +0200 | lain` | (lain`@user/lain/x-9874679) |
2024-07-03 02:45:58 +0200 | lain` | (lain`@user/lain/x-9874679) (Quit: https://convos.chat) |
2024-07-03 02:20:31 +0200 | lewisje | (~lewisje@74.215.19.22) |
2024-07-03 02:18:49 +0200 | lain` | (lain`@user/lain/x-9874679) |
2024-07-03 02:16:36 +0200 | lain` | (lain`@user/lain/x-9874679) (Remote host closed the connection) |
2024-07-03 02:15:57 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-07-03 01:55:27 +0200 | zzz | (~yin@user/zero) |
2024-07-03 01:51:51 +0200 | lewisje | (~lewisje@74.215.19.22) (Ping timeout: 264 seconds) |
2024-07-03 01:45:40 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 246 seconds) |
2024-07-03 01:44:11 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) |
2024-07-03 01:42:34 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 264 seconds) |
2024-07-03 01:42:10 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 246 seconds) |
2024-07-03 01:36:49 +0200 | zzz | (~yin@user/zero) (Ping timeout: 272 seconds) |
2024-07-03 01:31:37 +0200 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
2024-07-03 01:27:21 +0200 | xff0x | (~xff0x@2405:6580:b080:900:f24b:3531:a0b0:b3c9) |
2024-07-03 01:22:53 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb8314c8314f426f59bc.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
2024-07-03 01:18:51 +0200 | bilegeek | (~bilegeek@2600:1008:b097:4201:4e37:1733:dc44:e84a) |
2024-07-03 01:13:58 +0200 | turlando | (~turlando@user/turlando) |
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 |