Newest at the top
2024-05-13 01:58:21 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-05-13 01:52:35 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 272 seconds) |
2024-05-13 01:44:21 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-05-13 01:39:09 +0200 | yin | (~yin@user/zero) |
2024-05-13 01:35:41 +0200 | yin | (~yin@user/zero) (Ping timeout: 240 seconds) |
2024-05-13 01:31:57 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 256 seconds) |
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) |