Logs: liberachat/#haskell
| 2026-02-17 22:48:24 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 264 seconds) |
| 2026-02-17 22:54:02 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 252 seconds) |
| 2026-02-17 22:58:30 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 2026-02-17 22:58:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-17 23:03:27 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Read error: Connection reset by peer) |
| 2026-02-17 23:03:27 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-02-17 23:03:31 | → | humasect_ joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-02-17 23:04:36 | humasect_ | is now known as humasect |
| 2026-02-17 23:05:09 | × | s3np41 quits (~s3np41@078088254000.unknown.vectranet.pl) (Quit: WeeChat 4.8.1) |
| 2026-02-17 23:05:45 | × | cstml quits (~cstml@user/cstml) (Server closed connection) |
| 2026-02-17 23:07:21 | → | mange joins (~mange@user/mange) |
| 2026-02-17 23:07:33 | → | cstml joins (~cstml@user/cstml) |
| 2026-02-17 23:14:00 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-17 23:15:11 | → | Googulator84 joins (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 23:15:14 | × | Googulator10 quits (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-17 23:17:58 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2026-02-17 23:18:39 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-02-17 23:26:39 | × | mud quits (~mud@user/kadoban) (Quit: quit) |
| 2026-02-17 23:27:22 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2026-02-17 23:29:29 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-17 23:32:23 | → | n0w0n joins (~john@cpc157419-sotn14-2-0-cust964.15-1.cable.virginm.net) |
| 2026-02-17 23:34:43 | → | gmg joins (~user@user/gehmehgeh) |
| 2026-02-17 23:34:55 | → | mud joins (~mud@user/kadoban) |
| 2026-02-17 23:36:23 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-02-17 23:36:56 | → | Square2 joins (~Square4@user/square) |
| 2026-02-17 23:39:11 | × | Square3 quits (~Square@user/square) (Ping timeout: 265 seconds) |
| 2026-02-17 23:45:17 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-02-17 23:47:25 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-17 23:48:14 | × | xff0x quits (~xff0x@2405:6580:b080:900:c250:8a96:6b0e:a009) (Ping timeout: 245 seconds) |
| 2026-02-17 23:49:00 | × | malte quits (~malte@mal.tc) (Ping timeout: 264 seconds) |
| 2026-02-17 23:51:18 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-02-17 23:51:18 | × | Axman6 quits (~Axman6@user/axman6) (Remote host closed the connection) |
| 2026-02-17 23:51:24 | → | malte joins (~malte@mal.tc) |
| 2026-02-17 23:51:53 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-17 23:56:33 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-02-17 23:56:34 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit) |
| 2026-02-17 23:56:51 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-02-18 00:01:05 | × | sus03 quits (zero@user/zeromomentum) (Server closed connection) |
| 2026-02-18 00:01:20 | → | sus03 joins (zero@user/zeromomentum) |
| 2026-02-18 00:02:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-18 00:05:55 | × | malte quits (~malte@mal.tc) (Remote host closed the connection) |
| 2026-02-18 00:07:11 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-18 00:07:39 | × | mmarusea1ph2 quits (~mihai@mihai.page) (Server closed connection) |
| 2026-02-18 00:07:54 | → | mmaruseacph2 joins (~mihai@mihai.page) |
| 2026-02-18 00:08:50 | → | malte joins (~malte@mal.tc) |
| 2026-02-18 00:08:50 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 252 seconds) |
| 2026-02-18 00:11:47 | → | Tuplanolla joins (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) |
| 2026-02-18 00:13:31 | <hadronized> | tomsmeding: > is that | a sum type; not really, it’s more the ATS syntax for dependent pairs |
| 2026-02-18 00:13:44 | <hadronized> | I just reversed it, because ATS places the proof on the lhs |
| 2026-02-18 00:14:03 | <hadronized> | val pf | ptr = malloc(sizeof<i32>); |
| 2026-02-18 00:14:10 | <hadronized> | I placed the proof after, but that’s the same idea |
| 2026-02-18 00:14:28 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2026-02-18 00:14:34 | <n0w0n> | ATS mentioned? |
| 2026-02-18 00:18:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-18 00:18:23 | → | Googulator90 joins (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-18 00:18:43 | × | Googulator84 quits (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-18 00:21:41 | → | j1n37 joins (~j1n37@user/j1n37) |
| 2026-02-18 00:22:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-18 00:31:40 | → | Googulator7 joins (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-18 00:31:47 | × | Googulator90 quits (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-18 00:33:32 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-18 00:38:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-18 00:41:05 | × | vgtw quits (~vgtw@user/vgtw) (Server closed connection) |
| 2026-02-18 00:41:27 | → | vgtw joins (~vgtw@user/vgtw) |
| 2026-02-18 00:46:23 | → | Googulator38 joins (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-18 00:46:36 | × | Googulator7 quits (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-18 00:48:14 | × | polykernel quits (~polykerne@user/polykernel) (Ping timeout: 245 seconds) |
| 2026-02-18 00:48:53 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-18 00:53:23 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-18 00:54:43 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-02-18 00:56:25 | × | Buliarous quits (~gypsydang@46.232.210.139) (Server closed connection) |
| 2026-02-18 00:56:33 | → | Buliarous joins (~gypsydang@46.232.210.139) |
| 2026-02-18 00:57:26 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-18 01:04:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-18 01:04:56 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2026-02-18 01:05:08 | × | Googulator38 quits (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-18 01:05:12 | → | Googulator61 joins (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-18 01:06:43 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-18 01:11:23 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-02-18 01:15:48 | → | polykernel joins (~polykerne@user/polykernel) |
| 2026-02-18 01:16:26 | → | Googulator86 joins (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-18 01:16:39 | × | Googulator61 quits (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-18 01:22:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-18 01:22:24 | × | divya quits (divya@140.238.251.170) (Ping timeout: 245 seconds) |
| 2026-02-18 01:24:36 | × | n0w0n quits (~john@cpc157419-sotn14-2-0-cust964.15-1.cable.virginm.net) (Quit: WeeChat 4.6.3) |
| 2026-02-18 01:25:08 | × | Googulator86 quits (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-18 01:25:15 | → | Googulator86 joins (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-18 01:26:56 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-18 01:42:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-18 01:43:08 | → | Googulator83 joins (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-18 01:43:26 | × | Googulator86 quits (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-18 01:47:29 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-02-18 01:47:39 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Server closed connection) |
| 2026-02-18 01:48:02 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2026-02-18 01:48:39 | × | Googulator83 quits (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-18 01:48:45 | → | Googulator92 joins (~Googulato@2a01:36d:106:499d:6164:ec92:51a0:9cde) |
| 2026-02-18 01:52:38 | → | Googulator21 joins (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-18 01:52:45 | × | Googulator92 quits (~Googulato@2a01:36d:106:499d:6164:ec92:51a0:9cde) (Client Quit) |
| 2026-02-18 01:55:59 | → | polykernel_ joins (~polykerne@user/polykernel) |
| 2026-02-18 01:56:19 | × | c_wraith quits (~c_wraith@adjoint.us) (Server closed connection) |
All times are in UTC.