Newest at the top
2025-09-29 16:24:35 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
2025-09-29 16:21:26 +0200 | ystael | (~ystael@user/ystael) ystael |
2025-09-29 16:12:45 +0200 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
2025-09-29 16:11:46 +0200 | sprotte24 | (~sprotte24@p200300d16f33530008dc51ed686c9258.dip0.t-ipconnect.de) |
2025-09-29 16:10:48 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-09-29 16:10:21 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2025-09-29 16:09:15 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) Maxdamantus |
2025-09-29 16:08:36 +0200 | Xe | (~Xe@perl/impostor/xe) Xe |
2025-09-29 16:07:38 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 260 seconds) |
2025-09-29 16:07:34 +0200 | Xe | (~Xe@perl/impostor/xe) (Quit: ZNC 1.10.1 - https://znc.in) |
2025-09-29 15:59:44 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
2025-09-29 15:50:47 +0200 | Googulator56 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
2025-09-29 15:50:45 +0200 | Googulator15 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
2025-09-29 15:48:26 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-09-29 15:46:53 +0200 | <ski> | yin : Charity ? |
2025-09-29 15:36:13 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-09-29 15:33:40 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2025-09-29 15:28:59 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
2025-09-29 15:28:50 +0200 | __monty__ | (~toonn@user/toonn) (Ping timeout: 265 seconds) |
2025-09-29 15:28:31 +0200 | <yahb2> | [[[[[[11]]]]]] |
2025-09-29 15:28:31 +0200 | <tomsmeding> | % $(fMAP 6) (+1) [[[[[[10]]]]]] |
2025-09-29 15:28:23 +0200 | <yahb2> | <no output> |
2025-09-29 15:28:23 +0200 | <tomsmeding> | % fMAP :: Int -> Q Exp ; fMAP 0 = [| id |] ; fMAP n = [| fmap . $(fMAP (n - 1)) |] |
2025-09-29 15:28:14 +0200 | <yahb2> | <no output> |
2025-09-29 15:28:14 +0200 | <tomsmeding> | % import Language.Haskell.TH (Q, Exp) |
2025-09-29 15:28:02 +0200 | <yahb2> | <no output> |
2025-09-29 15:28:02 +0200 | <tomsmeding> | % :seti -XTemplateHaskell |
2025-09-29 15:26:20 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
2025-09-29 15:16:59 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 250 seconds) |
2025-09-29 15:15:47 +0200 | Googulator15 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
2025-09-29 15:15:45 +0200 | Googulator40 | (~Googulato@193-226-241-153.pool.digikabel.hu) (Quit: Client closed) |
2025-09-29 15:11:45 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-09-29 15:11:19 +0200 | <kaol> | I stacked that many maybes, eithers, lists and 2-tuples together. I'm just amused by it, that's all. |
2025-09-29 15:09:31 +0200 | <yin> | i want a language based uniquely on folds |
2025-09-29 15:08:32 +0200 | <yin> | or maybe you need to study the art of origami |
2025-09-29 15:08:00 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5d4:dfa6:7d7:2af3) |
2025-09-29 15:07:56 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
2025-09-29 15:07:42 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-29 15:06:46 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
2025-09-29 15:04:51 +0200 | mange | (~mange@user/mange) (Quit: Zzz...) |
2025-09-29 15:03:43 +0200 | <merijn> | kaol: Maybe you need Compose? |
2025-09-29 15:02:41 +0200 | <kaol> | I feel ridiculous after composing six fmaps in a row. If it works it works. |
2025-09-29 15:00:27 +0200 | Googulator40 | (~Googulato@193-226-241-153.pool.digikabel.hu) |
2025-09-29 14:59:51 +0200 | Googulator40 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
2025-09-29 14:53:55 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 255 seconds) |
2025-09-29 14:51:14 +0200 | ThePenguin | (~ThePengui@cust-95-80-28-221.csbnet.se) ThePenguin |
2025-09-29 14:51:01 +0200 | <yin> | ncf oh that's nice |
2025-09-29 14:50:14 +0200 | <yin> | i don't know |
2025-09-29 14:50:11 +0200 | <yin> | or rather (pure a)? |
2025-09-29 14:49:26 +0200 | <yin> | a <f> b = f <$> a <*> b |