Logs: liberachat/#haskell
| 2025-09-29 13:11:45 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-29 13:15:45 | × | Googulator40 quits (~Googulato@193-226-241-153.pool.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 13:15:47 | → | Googulator15 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 13:16:59 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 250 seconds) |
| 2025-09-29 13:26:20 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-09-29 13:28:02 | <tomsmeding> | % :seti -XTemplateHaskell |
| 2025-09-29 13:28:02 | <yahb2> | <no output> |
| 2025-09-29 13:28:14 | <tomsmeding> | % import Language.Haskell.TH (Q, Exp) |
| 2025-09-29 13:28:14 | <yahb2> | <no output> |
| 2025-09-29 13:28:23 | <tomsmeding> | % fMAP :: Int -> Q Exp ; fMAP 0 = [| id |] ; fMAP n = [| fmap . $(fMAP (n - 1)) |] |
| 2025-09-29 13:28:23 | <yahb2> | <no output> |
| 2025-09-29 13:28:31 | <tomsmeding> | % $(fMAP 6) (+1) [[[[[[10]]]]]] |
| 2025-09-29 13:28:31 | <yahb2> | [[[[[[11]]]]]] |
| 2025-09-29 13:28:50 | × | __monty__ quits (~toonn@user/toonn) (Ping timeout: 265 seconds) |
| 2025-09-29 13:28:59 | → | Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) |
| 2025-09-29 13:33:40 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-09-29 13:36:13 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2025-09-29 13:46:53 | <ski> | yin : Charity ? |
| 2025-09-29 13:48:26 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-29 13:50:45 | × | Googulator15 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 13:50:47 | → | Googulator56 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 13:59:44 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-09-29 14:07:34 | × | Xe quits (~Xe@perl/impostor/xe) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-09-29 14:07:38 | × | Maxdamantus quits (~Maxdamant@user/maxdamantus) (Ping timeout: 260 seconds) |
| 2025-09-29 14:08:36 | → | Xe joins (~Xe@perl/impostor/xe) |
| 2025-09-29 14:09:15 | → | Maxdamantus joins (~Maxdamant@user/maxdamantus) |
| 2025-09-29 14:10:21 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-09-29 14:10:48 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-09-29 14:11:46 | → | sprotte24 joins (~sprotte24@p200300d16f33530008dc51ed686c9258.dip0.t-ipconnect.de) |
| 2025-09-29 14:12:45 | → | ouilemur joins (~jgmerritt@user/ouilemur) |
| 2025-09-29 14:21:26 | → | ystael joins (~ystael@user/ystael) |
| 2025-09-29 14:24:35 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-09-29 14:30:19 | → | byorgey joins (~byorgey@155.138.238.211) |
| 2025-09-29 14:30:19 | × | byorgey quits (~byorgey@155.138.238.211) (Changing host) |
| 2025-09-29 14:30:19 | → | byorgey joins (~byorgey@user/byorgey) |
| 2025-09-29 14:33:25 | × | tromp quits (~textual@2001:1c00:3487:1b00:5d4:dfa6:7d7:2af3) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-29 14:50:38 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-29 14:51:21 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2025-09-29 15:06:45 | trickard_ | is now known as trickard |
| 2025-09-29 15:07:13 | → | tromp joins (~textual@2001:1c00:3487:1b00:5d4:dfa6:7d7:2af3) |
| 2025-09-29 15:16:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-29 15:19:55 | × | fp quits (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 245 seconds) |
| 2025-09-29 15:30:44 | → | Googulator50 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 15:30:51 | × | Googulator56 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 15:38:37 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Remote host closed the connection) |
| 2025-09-29 15:46:01 | → | Googulator78 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 15:46:26 | × | Googulator50 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 15:48:48 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-09-29 15:55:37 | × | Googulator78 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 15:55:44 | → | Googulator94 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 15:56:44 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-09-29 15:56:53 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-09-29 15:59:05 | → | Tuplanolla joins (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) |
| 2025-09-29 16:04:38 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2025-09-29 16:15:20 | Googulator94 | is now known as Googulator |
| 2025-09-29 16:40:46 | → | Googulator74 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 16:40:46 | × | Googulator quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 16:42:05 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2025-09-29 16:42:12 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-09-29 16:43:07 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-09-29 16:45:19 | → | poscat joins (~poscat@user/poscat) |
| 2025-09-29 16:45:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-29 16:52:43 | <yin> | ski: unfamiliar |
| 2025-09-29 16:54:14 | <ski> | @where Charity |
| 2025-09-29 16:54:14 | <lambdabot> | http://pll.cpsc.ucalgary.ca/charity1/www/home.html |
| 2025-09-29 16:54:29 | <Franciman> | ski: did you read Miller's book on logic programming? |
| 2025-09-29 16:57:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-29 16:58:52 | <ski> | based around inductive and coinductive data types |
| 2025-09-29 16:59:40 | <ski> | Franciman : "Proof Theory and Logic Programming: Computation as Proof Search" by Dale Miller in 2025 at <https://www.lix.polytechnique.fr/~dale/ptlp/> ? |
| 2025-09-29 16:59:46 | <Franciman> | ay! |
| 2025-09-29 16:59:54 | <Franciman> | can't wait to get the book out |
| 2025-09-29 17:00:00 | <Franciman> | it's a bit hard for my mind to read it |
| 2025-09-29 17:01:41 | × | rvalue quits (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
| 2025-09-29 17:02:08 | → | rvalue joins (~rvalue@about/hackers/rvalue) |
| 2025-09-29 17:03:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-29 17:05:04 | → | weary-traveler joins (~user@user/user363627) |
| 2025-09-29 17:08:58 | <ski> | Franciman : i vaguely remember you bringing it up (?) before, but had forgotten about it. ty for the reminder |
| 2025-09-29 17:09:21 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 2025-09-29 17:14:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-29 17:19:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-29 17:23:31 | × | kuribas quits (~user@2a02-1810-2825-6000-5d46-3266-7567-729e.ip6.access.telenet.be) (Remote host closed the connection) |
| 2025-09-29 17:25:37 | × | tromp quits (~textual@2001:1c00:3487:1b00:5d4:dfa6:7d7:2af3) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-29 17:27:01 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 250 seconds) |
| 2025-09-29 17:30:37 | → | Googulator51 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 17:30:37 | × | Googulator74 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 17:31:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-29 17:34:55 | × | trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-29 17:35:09 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-29 17:36:47 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-29 17:42:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-29 17:44:07 | × | ouilemur quits (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.7.1) |
| 2025-09-29 17:45:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Read error: Connection reset by peer) |
| 2025-09-29 17:45:39 | → | Googulator14 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 17:45:48 | × | Googulator51 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 17:47:36 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-09-29 17:48:48 | → | tromp joins (~textual@2001:1c00:3487:1b00:5d4:dfa6:7d7:2af3) |
| 2025-09-29 17:50:40 | × | Googulator14 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 17:50:43 | → | Googulator86 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 18:05:15 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-09-29 18:25:15 | → | banner_ joins (~banner@n1-41-210-25.bla22.nsw.optusnet.com.au) |
All times are in UTC.