Newest at the top
| 2024-05-13 01:27:33 +0200 | yin | (~yin@user/zero) |
| 2024-05-13 01:26:08 +0200 | yin | (~yin@user/zero) (Ping timeout: 252 seconds) |
| 2024-05-13 01:24:29 +0200 | phma | (phma@2001:5b0:211f:3048:948d:80d2:e152:3a7b) (Ping timeout: 240 seconds) |
| 2024-05-13 01:22:40 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-05-13 01:21:57 +0200 | phma_ | (~phma@2001:5b0:211b:f8f8:8558:8264:69ae:a8e6) |
| 2024-05-13 01:05:33 +0200 | yin | (~yin@user/zero) |
| 2024-05-13 01:02:23 +0200 | yin | (~yin@user/zero) (Ping timeout: 264 seconds) |
| 2024-05-13 00:58:21 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-05-13 00:54:52 +0200 | euleritian | (~euleritia@dynamic-176-006-176-035.176.6.pool.telefonica.de) |
| 2024-05-13 00:54:20 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-05-13 00:53:46 +0200 | yin_ | zzz |
| 2024-05-13 00:53:38 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-05-13 00:43:38 +0200 | yin_ | (~yin@user/zero) |
| 2024-05-13 00:41:42 +0200 | yin_ | (~yin@user/zero) (Ping timeout: 255 seconds) |
| 2024-05-13 00:38:05 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc538d2f4966c160723d.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2024-05-13 00:37:04 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-05-13 00:21:48 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-13 00:21:32 +0200 | yin_ | (~yin@user/zero) |
| 2024-05-13 00:21:04 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2024-05-13 00:15:15 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-05-13 00:11:19 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-05-13 00:05:15 +0200 | yin_ | (~yin@user/zero) (Ping timeout: 255 seconds) |
| 2024-05-13 00:02:13 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-05-13 00:01:03 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-13 00:00:51 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-05-12 23:56:23 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-05-12 23:54:52 +0200 | <raehik> | doesn't work for combinator parsers because I need to "unwrap" inner parsers and can't do that as above :( |
| 2024-05-12 23:53:50 +0200 | <raehik> | I want to permit reifying these type-level parsers, but that limits the form parsers can take. specifically, they can't be type families or "type synonym families" (use type families inside) |
| 2024-05-12 23:52:56 +0200 | <raehik> | https://github.com/raehik/symparsec |
| 2024-05-12 23:52:48 +0200 | <raehik> | I wrote a type-level symbol parser lib that passes around parsers made of type-level tuples |
| 2024-05-12 23:51:19 +0200 | <ncf> | raehik: what are you trying to achieve? |
| 2024-05-12 23:44:36 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
| 2024-05-12 23:43:56 +0200 | <raehik> | ncf: yeah that's all I can think of. I can't use a type family here because I need to use this type synonym in a class instance :( |
| 2024-05-12 23:43:24 +0200 | <ncf> | raehik: type family X (x :: (a, b, c)) :: Type where X '(a, b, c) = _ |
| 2024-05-12 23:37:57 +0200 | <raehik> | I have a type synonym `type X :: (a, b, c) -> _`. GHC tells me I can't write `type X '(a, b, c) = _` because type declarations can't look like that. Is there any way around this? |
| 2024-05-12 23:31:12 +0200 | <dmj`> | [exa]: how so |
| 2024-05-12 23:28:16 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-12 23:24:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-12 23:22:26 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2024-05-12 23:20:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-12 23:19:31 +0200 | ocra8 | (ocra8@user/ocra8) (Quit: WeeChat 4.2.2) |
| 2024-05-12 23:18:35 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-05-12 23:12:55 +0200 | Square | (~Square@user/square) |
| 2024-05-12 23:02:02 +0200 | michalz | (~michalz@185.246.207.197) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-05-12 22:45:24 +0200 | xdminsy | (~xdminsy@117.147.70.240) (Read error: Connection reset by peer) |
| 2024-05-12 22:33:32 +0200 | <[exa]> | actually its RTS has a small C interpreter for the combinators, but I found that might be completely unnecessary |
| 2024-05-12 22:29:27 +0200 | <[exa]> | MicroHs is not very production-like but it's extremely <3 lovely <3 |
| 2024-05-12 22:01:46 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2024-05-12 21:47:05 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-05-12 21:41:19 +0200 | ai5lk | (~ai5lk@209-188-121-236.taosnet.com) (Quit: WeeChat 3.8) |