Logs: liberachat/#haskell
| 2026-04-27 16:20:23 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2026-04-27 16:23:16 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-27 16:23:21 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-27 16:29:47 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 265 seconds) |
| 2026-04-27 16:29:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-27 16:34:57 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-27 16:38:38 | × | hellwolf quits (~user@13ba-9fa1-c9b7-72ee-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 252 seconds) |
| 2026-04-27 16:39:37 | ← | thenightmail` parts (~whoareyou@user/thenightmail) (ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 2026-04-27 16:41:43 | → | hellwolf joins (~user@85eb-3c61-7214-710f-0f00-4d40-07d0-2001.sta.estpak.ee) |
| 2026-04-27 16:45:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-27 16:50:21 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-04-27 16:50:39 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-27 16:57:03 | → | thenightmail` joins (~whoareyou@user/thenightmail) |
| 2026-04-27 16:57:14 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2026-04-27 17:01:31 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-27 17:06:27 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-27 17:06:33 | → | Enrico63 joins (~Enrico63@85.255.235.90) |
| 2026-04-27 17:08:29 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-04-27 17:13:00 | → | layline_ joins (~layline@149.154.26.56) |
| 2026-04-27 17:16:29 | × | tromp quits (~textual@2001:1c00:340e:2700:144f:94ac:cf96:df60) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-27 17:17:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-27 17:17:38 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
| 2026-04-27 17:18:19 | → | misterfish joins (~misterfis@84.53.85.146) |
| 2026-04-27 17:21:12 | <davean> | Yah, the way you usually prove the tests are exhaustive is equivilent to just proving it directly if the state space isn't trivially small :) |
| 2026-04-27 17:21:50 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-27 17:32:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
All times are in UTC.