Logs: liberachat/#haskell
| 2025-09-16 14:01:52 | × | nisstyre quits (wes@user/nisstyre) (Max SendQ exceeded) |
| 2025-09-16 14:01:52 | × | farn__ quits (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (Max SendQ exceeded) |
| 2025-09-16 14:01:52 | × | Xe quits (~Xe@perl/impostor/xe) (Max SendQ exceeded) |
| 2025-09-16 14:02:30 | → | farn__ joins (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) |
| 2025-09-16 14:02:35 | → | Xe joins (~Xe@perl/impostor/xe) |
| 2025-09-16 14:02:45 | → | nisstyre joins (wes@user/nisstyre) |
| 2025-09-16 14:07:07 | enicar | is now known as enikar |
| 2025-09-16 14:09:06 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-09-16 14:10:04 | → | fp joins (~Thunderbi@wireless-86-50-140-85.open.aalto.fi) |
| 2025-09-16 14:12:39 | → | qqe joins (~qqq@185.54.23.100) |
| 2025-09-16 14:17:39 | × | mange quits (~mange@user/mange) (Quit: Zzz...) |
| 2025-09-16 14:22:22 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 2025-09-16 14:24:09 | → | AndreiDuma_ joins (~AndreiDum@user/AndreiDuma) |
| 2025-09-16 14:27:02 | × | AndreiDuma quits (~AndreiDum@user/AndreiDuma) (Ping timeout: 244 seconds) |
| 2025-09-16 14:37:59 | × | lbseale quits (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-09-16 14:38:07 | × | Googulator quits (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-16 14:38:24 | → | Googulator joins (~Googulato@178-164-188-203.pool.digikabel.hu) |
| 2025-09-16 14:39:58 | → | pounce joins (8a023a9e4a@user/cute/pounce) |
| 2025-09-16 14:42:56 | <pounce> | does haskell have a function [a] -> [a] -> Int -> [a] that inserts the second list into the first list !! n |
| 2025-09-16 14:43:48 | <__monty__> | That'd be a type error ; p |
| 2025-09-16 14:44:07 | <__monty__> | More seriously, I don't know of one. |
| 2025-09-16 14:44:44 | <pounce> | e.g. taking as, bs = splitAt n xs then as ++ ys ++ bs |
| 2025-09-16 14:44:45 | <pounce> | dang |
| 2025-09-16 14:44:59 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2025-09-16 14:45:24 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-16 14:45:30 | <Leary> | It will have one after you write it. |
| 2025-09-16 14:45:41 | <pounce> | well, im actually writing agda :p |
| 2025-09-16 14:45:49 | <pounce> | just trying to figure out if there's a good name already xD |
| 2025-09-16 14:48:06 | <Leary> | I would probably write it as `infixAt :: Int -> [a] -> [a] -> [a]`. |
| 2025-09-16 14:48:10 | → | apache joins (apache2@anubis.0x90.dk) |
| 2025-09-16 14:48:58 | → | Pixi` joins (~Pixi@user/pixi) |
| 2025-09-16 14:49:19 | × | tromp quits (~textual@2001:1c00:3487:1b00:988d:4246:ce46:c357) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-16 14:49:42 | → | sus09 joins (thelounge@user/zeromomentum) |
| 2025-09-16 14:49:50 | → | img_ joins (~img@user/img) |
| 2025-09-16 14:50:06 | → | nshepperd26 joins (~nshepperd@2a01:4f9:3b:4cc9::2) |
| 2025-09-16 14:51:05 | → | ames5 joins (~amelia@offtopia/offtopian/amelia) |
| 2025-09-16 14:51:13 | → | pikajude joins (~jude@149.28.207.64) |
| 2025-09-16 14:51:15 | → | collide29540 joins (~collide29@user/collide2954) |
| 2025-09-16 14:51:40 | → | ncf_ joins (~n@monade.li) |
| 2025-09-16 14:51:52 | → | tromp joins (~textual@2001:1c00:3487:1b00:988d:4246:ce46:c357) |
| 2025-09-16 14:51:59 | → | NiKaN_ joins (sid385034@id-385034.helmsley.irccloud.com) |
| 2025-09-16 14:52:09 | × | ncf quits (~n@monade.li) (Killed (NickServ (GHOST command used by ncf_))) |
| 2025-09-16 14:52:12 | → | aku_ joins (aku@65.108.245.241) |
| 2025-09-16 14:52:13 | ncf_ | is now known as ncf |
| 2025-09-16 14:52:23 | → | Fijxu_ joins (~Fijxu@user/fijxu) |
| 2025-09-16 14:52:34 | → | Ram-Z joins (Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) |
| 2025-09-16 14:52:34 | → | hook54321_ joins (sid149355@user/hook54321) |
| 2025-09-16 14:53:05 | → | meejah_ joins (~meejah@rutas.meejah.ca) |
| 2025-09-16 14:53:06 | → | lesihctej joins (~jetchisel@user/jetchisel) |
| 2025-09-16 14:53:10 | → | df_ joins (~ben@justworks.xyz) |
| 2025-09-16 14:53:11 | × | Square quits (~Square4@user/square) (Remote host closed the connection) |
| 2025-09-16 14:53:19 | → | ystael_ joins (~ystael@user/ystael) |
| 2025-09-16 14:53:24 | → | semifunc- joins (~omnifunct@user/semifunctor) |
| 2025-09-16 14:53:51 | → | Square joins (~Square4@user/square) |
| 2025-09-16 14:54:05 | <pounce> | that's a good one |
| 2025-09-16 14:54:06 | → | tapas_ joins (sid467876@id-467876.ilkley.irccloud.com) |
| 2025-09-16 14:54:12 | → | taktoa[c]_ joins (sid282096@id-282096.tinside.irccloud.com) |
| 2025-09-16 14:54:33 | → | b0o_ joins (0e4a0bf4c9@2a03:6000:1812:100::1bf) |
| 2025-09-16 14:54:34 | → | bw_ joins (sid2730@user/betawaffle) |
| 2025-09-16 14:54:59 | × | bw quits (sid2730@user/betawaffle) (Ping timeout: 248 seconds) |
| 2025-09-16 14:55:00 | × | pikajude- quits (~jude@2001:19f0:ac01:373:5400:2ff:fe86:3274) (Ping timeout: 248 seconds) |
| 2025-09-16 14:55:00 | × | end quits (~end@user/end/x-0094621) (Ping timeout: 248 seconds) |
| 2025-09-16 14:55:00 | × | bcksl quits (~bcksl@user/bcksl) (Ping timeout: 248 seconds) |
| 2025-09-16 14:55:00 | × | img quits (~img@user/img) (Ping timeout: 248 seconds) |
| 2025-09-16 14:55:00 | × | NiKaN quits (sid385034@id-385034.helmsley.irccloud.com) (Ping timeout: 248 seconds) |
| 2025-09-16 14:55:00 | × | hook54321 quits (sid149355@user/hook54321) (Ping timeout: 248 seconds) |
| 2025-09-16 14:55:00 | × | bradparker quits (sid262931@id-262931.uxbridge.irccloud.com) (Ping timeout: 248 seconds) |
| 2025-09-16 14:55:00 | × | edmundnoble_ quits (sid229620@id-229620.helmsley.irccloud.com) (Ping timeout: 248 seconds) |
| 2025-09-16 14:55:00 | × | lyxia quits (~lyxia@poisson.chat) (Ping timeout: 248 seconds) |
| 2025-09-16 14:55:00 | × | mustafa quits (sid502723@rockylinux/releng/mustafa) (Ping timeout: 248 seconds) |
| 2025-09-16 14:55:00 | × | apache2 quits (apache2@anubis.0x90.dk) (Ping timeout: 248 seconds) |
| 2025-09-16 14:55:00 | × | edwardk quits (sid47016@haskell/developer/edwardk) (Ping timeout: 248 seconds) |
| 2025-09-16 14:55:00 | × | jetchisel quits (~jetchisel@user/jetchisel) (Ping timeout: 248 seconds) |
| 2025-09-16 14:55:00 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 248 seconds) |
| 2025-09-16 14:55:00 | × | Ram-Z_ quits (Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) (Ping timeout: 248 seconds) |
| 2025-09-16 14:55:00 | × | taktoa[c] quits (sid282096@id-282096.tinside.irccloud.com) (Ping timeout: 248 seconds) |
| 2025-09-16 14:55:00 | × | adamCS quits (~adamCS@70.19.85.77) (Ping timeout: 248 seconds) |
| 2025-09-16 14:55:00 | × | collide2954 quits (~collide29@user/collide2954) (Ping timeout: 248 seconds) |
| 2025-09-16 14:55:01 | × | Fijxu quits (~Fijxu@user/fijxu) (Ping timeout: 248 seconds) |
| 2025-09-16 14:55:01 | × | semifunctor quits (~omnifunct@user/semifunctor) (Ping timeout: 248 seconds) |
| 2025-09-16 14:55:01 | × | ames quits (~amelia@offtopia/offtopian/amelia) (Ping timeout: 248 seconds) |
| 2025-09-16 14:55:01 | × | df quits (~ben@justworks.xyz) (Ping timeout: 248 seconds) |
| 2025-09-16 14:55:01 | × | meejah quits (~meejah@rutas.meejah.ca) (Ping timeout: 248 seconds) |
| 2025-09-16 14:55:01 | × | nshepperd2 quits (~nshepperd@2a01:4f9:3b:4cc9::2) (Read error: Connection reset by peer) |
| 2025-09-16 14:55:01 | × | lambdabot quits (~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection) |
| 2025-09-16 14:55:01 | × | Pixi quits (~Pixi@user/pixi) (Ping timeout: 248 seconds) |
| 2025-09-16 14:55:01 | × | tapas quits (sid467876@id-467876.ilkley.irccloud.com) (Ping timeout: 248 seconds) |
| 2025-09-16 14:55:01 | × | sus0 quits (zero@user/zeromomentum) (Ping timeout: 248 seconds) |
| 2025-09-16 14:55:01 | × | aku quits (aku@65.108.245.241) (Ping timeout: 248 seconds) |
| 2025-09-16 14:55:01 | × | b0o quits (0e4a0bf4c9@2a03:6000:1812:100::1bf) (Ping timeout: 248 seconds) |
| 2025-09-16 14:55:01 | collide29540 | is now known as collide2954 |
| 2025-09-16 14:55:01 | nshepperd26 | is now known as nshepperd2 |
| 2025-09-16 14:55:01 | bw_ | is now known as bw |
| 2025-09-16 14:55:01 | hook54321_ | is now known as hook54321 |
| 2025-09-16 14:55:02 | taktoa[c]_ | is now known as taktoa[c] |
| 2025-09-16 14:55:02 | tapas_ | is now known as tapas |
| 2025-09-16 14:55:02 | NiKaN_ | is now known as NiKaN |
| 2025-09-16 14:55:02 | ames5 | is now known as ames |
| 2025-09-16 14:55:02 | sus09 | is now known as sus0 |
| 2025-09-16 14:55:35 | b0o_ | is now known as b0o |
All times are in UTC.