2024/05/04

Newest at the top

2024-05-04 21:08:22 +0200 <raehik> Is there a type family like `ShowNat :: Natural -> Symbol`? `ShowType :: a -> ErrorMessage` is close, but I need a Symbol.
2024-05-04 21:07:39 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-05-04 21:07:36 +0200philopsos(~caecilius@user/philopsos)
2024-05-04 21:06:27 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-04 21:05:26 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-04 21:04:31 +0200zetef(~quassel@5.14.202.140)
2024-05-04 21:01:29 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-04 21:00:18 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-04 20:58:43 +0200michalz(~michalz@185.246.207.217)
2024-05-04 20:56:40 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-04 20:55:10 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-04 20:51:39 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-04 20:50:02 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-04 20:46:26 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-04 20:45:22 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-04 20:42:04 +0200euleritian(~euleritia@87.79.39.180)
2024-05-04 20:41:37 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-04 20:41:10 +0200euleritian(~euleritia@87.79.39.180) (Read error: Connection reset by peer)
2024-05-04 20:40:08 +0200ksqsf(~user@77.64.252.144) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.2.50))
2024-05-04 20:39:46 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-04 20:38:11 +0200ystael(~ystael@user/ystael) (Ping timeout: 252 seconds)
2024-05-04 20:36:34 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-04 20:35:34 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-04 20:32:52 +0200euleritian(~euleritia@87.79.39.180)
2024-05-04 20:31:23 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-04 20:29:58 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-04 20:27:45 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds)
2024-05-04 20:27:45 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 252 seconds)
2024-05-04 20:26:46 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-04 20:25:18 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-04 20:23:06 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-05-04 20:21:24 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-04 20:20:10 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-04 20:18:28 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 255 seconds)
2024-05-04 20:16:46 +0200johnw(~johnw@69.62.242.138)
2024-05-04 20:16:28 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-04 20:16:16 +0200johnw(~johnw@69.62.242.138) (Quit: ZNC - http://znc.in)
2024-05-04 20:15:02 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-04 20:12:00 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-05-04 20:11:39 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-04 20:10:22 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-04 20:06:27 +0200sawilagar(~sawilagar@user/sawilagar)
2024-05-04 20:06:26 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-05-04 20:04:46 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-04 20:03:20 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 268 seconds)
2024-05-04 20:01:38 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-05-04 20:01:05 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2024-05-04 20:00:06 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-05-04 19:59:00 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2024-05-04 19:56:20 +0200stiell(~stiell@gateway/tor-sasl/stiell)