Newest at the top
| 2025-11-17 18:38:40 +0100 | annamalai | (~annamalai@157.33.248.131) (Ping timeout: 245 seconds) |
| 2025-11-17 18:37:35 +0100 | qqe | (~qqq@185.54.21.140) (Quit: Lost terminal) |
| 2025-11-17 18:36:34 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 256 seconds) |
| 2025-11-17 18:34:18 +0100 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 256 seconds) |
| 2025-11-17 18:33:34 +0100 | Square3 | (~Square@user/square) Square |
| 2025-11-17 18:28:39 +0100 | <yin> | still a goto choice for FRP? |
| 2025-11-17 18:28:28 +0100 | <yin> | How can I have an idea of the current state of Yampa? |
| 2025-11-17 18:28:06 +0100 | <haskellbridge> | <doc> hololeap: i think that signature can be satisfied with just sequenceA or sequence |
| 2025-11-17 18:24:39 +0100 | Zemy_ | (~Zemy@mobile-107-80-206-104.mycingular.net) (Ping timeout: 252 seconds) |
| 2025-11-17 18:22:27 +0100 | Zemy | (~Zemy@2600:100c:b0a9:8436:20e2:f5ff:fea2:5e88) |
| 2025-11-17 18:21:33 +0100 | <hololeap> | thanks, I couldn't remember what it was called. I can install it locally :) |
| 2025-11-17 18:21:15 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2025-11-17 18:20:50 +0100 | <lambdabot> | Cannot parse command |
| 2025-11-17 18:20:50 +0100 | <geekosaur> | @djinn [a -> b] -> a -> [b]) |
| 2025-11-17 18:20:28 +0100 | <geekosaur> | djinn but it doesn't handle recursive types iirc? |
| 2025-11-17 18:18:31 +0100 | Zemy | (~Zemy@mobile-107-80-206-104.mycingular.net) (Ping timeout: 240 seconds) |
| 2025-11-17 18:17:49 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-11-17 18:16:50 +0100 | <hololeap> | I guess (\a -> fmap ($ a)) |
| 2025-11-17 18:15:46 +0100 | Zemy_ | (~Zemy@mobile-107-80-206-104.mycingular.net) |
| 2025-11-17 18:15:25 +0100 | Core3185 | (~Zemy@2600:100c:b0a9:8436:8888:7bff:fe6b:db6a) (Ping timeout: 250 seconds) |
| 2025-11-17 18:15:08 +0100 | <hololeap> | (trying to remember the canonical way to do [a -> b] -> a -> [b]) |
| 2025-11-17 18:14:15 +0100 | <hololeap> | what was the thing where you can give it a type signature and it gives you back a function/one-liner? |
| 2025-11-17 18:12:13 +0100 | Zemy | (~Zemy@mobile-107-80-206-104.mycingular.net) |
| 2025-11-17 17:43:44 +0100 | trickard_ | trickard |
| 2025-11-17 17:40:34 +0100 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-11-17 17:40:19 +0100 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-17 17:39:44 +0100 | Core7738 | (~Zemy@24-155-2-226.static.grandenetworks.net) (Ping timeout: 240 seconds) |
| 2025-11-17 17:36:48 +0100 | Zemy | (~Zemy@mobile-107-80-206-70.mycingular.net) (Ping timeout: 252 seconds) |
| 2025-11-17 17:36:29 +0100 | Core3185 | (~Zemy@2600:100c:b0a9:8436:8888:7bff:fe6b:db6a) |
| 2025-11-17 17:36:29 +0100 | Zemy_ | (~Zemy@2600:100c:b0a9:8436:4cc2:daff:fe21:757b) (Read error: Connection reset by peer) |
| 2025-11-17 17:35:30 +0100 | Core7738 | (~Zemy@24-155-2-226.static.grandenetworks.net) |
| 2025-11-17 17:34:53 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Remote host closed the connection) |
| 2025-11-17 17:34:06 +0100 | Zemy_ | (~Zemy@2600:100c:b0a9:8436:4cc2:daff:fe21:757b) |
| 2025-11-17 17:31:41 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-11-17 17:31:28 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-17 17:31:26 +0100 | Zemy_ | (~Zemy@2600:100c:b0a9:8436:1c98:a0ff:fed8:7a71) (Ping timeout: 265 seconds) |
| 2025-11-17 17:31:15 +0100 | vulpine | (xfnw@user/meow/xfnw) xfnw |
| 2025-11-17 17:30:03 +0100 | vulpine | (xfnw@user/meow/xfnw) (Quit: Connection reset by purr) |
| 2025-11-17 17:29:22 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2025-11-17 17:28:08 +0100 | Zemy | (~Zemy@mobile-107-80-206-70.mycingular.net) |
| 2025-11-17 17:27:54 +0100 | Googulator89 | Googulator |
| 2025-11-17 17:25:54 +0100 | Googulator89 | (~Googulato@85-238-67-234.pool.digikabel.hu) |
| 2025-11-17 17:25:52 +0100 | Googulator | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-17 17:25:11 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-17 17:23:05 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-11-17 17:21:02 +0100 | Googulator21 | Googulator |
| 2025-11-17 17:20:46 +0100 | Googulator | (~Googulato@85-238-67-234.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-17 17:20:42 +0100 | Googulator21 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-17 17:19:42 +0100 | <lucabtz> | sorry for the slight off topic |
| 2025-11-17 17:19:40 +0100 | <tomsmeding> | matrix.org used to have one of those with libera.chat, but there were complaints about spam and they stopped offering that |