Newest at the top
2024-10-10 15:25:00 +0200 | identity | (~identity@user/ZharMeny) identity |
2024-10-10 15:22:14 +0200 | cfricke_ | (~cfricke@user/cfricke) (Ping timeout: 260 seconds) |
2024-10-10 15:21:20 +0200 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/jCazZRxEVojmkycJUItjxokl/5fTPquYXkqQ (3 lines) |
2024-10-10 15:21:20 +0200 | <haskellbridge> | <thirdofmay18081814goya> can the following Lean type be expressed in haskell? |
2024-10-10 15:20:06 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) (Ping timeout: 246 seconds) |
2024-10-10 15:19:00 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2024-10-10 15:07:52 +0200 | <__monty__> | Hackage isn't slow for me, do you mean Hoogle? There's been recurring problems with it recently, haven't kept up enough to know why. |
2024-10-10 15:06:08 +0200 | <kqr> | It was a long time since I last did Haskell, but I don't remember Hackage being this slow. What has changed and how are you dealing with it? |
2024-10-10 14:58:24 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 246 seconds) |
2024-10-10 14:57:37 +0200 | xff0x | (~xff0x@2405:6580:b080:900:3e:c6b:65b9:2866) |
2024-10-10 14:55:38 +0200 | cfricke_ | (~cfricke@user/cfricke) cfricke |
2024-10-10 14:54:56 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
2024-10-10 14:51:58 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
2024-10-10 14:51:56 +0200 | identity | (~identity@user/ZharMeny) (Ping timeout: 252 seconds) |
2024-10-10 14:51:18 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) (Ping timeout: 252 seconds) |
2024-10-10 14:46:12 +0200 | vpan | (~vpan@212.117.1.172) (Quit: Leaving.) |
2024-10-10 14:44:42 +0200 | xff0x | (~xff0x@2405:6580:b080:900:3e:c6b:65b9:2866) (Ping timeout: 252 seconds) |
2024-10-10 14:40:09 +0200 | arahael | (~arahael@user/arahael) arahael |
2024-10-10 14:37:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-10 14:32:52 +0200 | vulpine | (xfnw@user/meow/xfnw) xfnw |
2024-10-10 14:27:52 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
2024-10-10 14:21:25 +0200 | arahael | (~arahael@user/arahael) (Remote host closed the connection) |
2024-10-10 14:20:53 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2024-10-10 14:20:06 +0200 | identity | (~identity@user/ZharMeny) identity |
2024-10-10 14:18:34 +0200 | codaraxis___ | (~codaraxis@user/codaraxis) (Ping timeout: 252 seconds) |
2024-10-10 14:16:21 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) (Ping timeout: 252 seconds) |
2024-10-10 14:13:04 +0200 | codaraxis___ | (~codaraxis@user/codaraxis) Codaraxis |
2024-10-10 14:01:11 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-10 14:00:06 +0200 | cfricke | (~cfricke@user/cfricke) cfricke |
2024-10-10 13:57:31 +0200 | Paavo80 | (~Paavo80@dsl-hkibng12-50dd11-169.dhcp.telia.fi) (Client Quit) |
2024-10-10 13:55:19 +0200 | Paavo80 | (~Paavo80@dsl-hkibng12-50dd11-169.dhcp.telia.fi) |
2024-10-10 13:54:14 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-10 13:51:24 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb8558a5acefa98b724b.dip0.t-ipconnect.de) acidjnk |
2024-10-10 13:43:52 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
2024-10-10 13:42:43 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb8558a5acefa98b724b.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
2024-10-10 13:40:20 +0200 | rosco | (~rosco@175.136.22.30) rosco |
2024-10-10 13:38:21 +0200 | tom_ | (~tom@madonna.che.casino) (Client Quit) |
2024-10-10 13:35:53 +0200 | tom_ | (~tom@madonna.che.casino) |
2024-10-10 13:34:15 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3106-e93d-fc68-585c-8ed3-0b0d.rev.sfr.net) alexherbo2 |
2024-10-10 13:33:53 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3106-e93d-fc68-585c-8ed3-0b0d.rev.sfr.net) (Remote host closed the connection) |
2024-10-10 13:32:56 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-10 13:32:39 +0200 | euleritian | (~euleritia@dynamic-176-006-142-086.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-10-10 13:32:18 +0200 | euleritian | (~euleritia@dynamic-176-006-142-086.176.6.pool.telefonica.de) |
2024-10-10 13:32:10 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-10-10 13:31:56 +0200 | Nixkernal | (~Nixkernal@226.85.194.178.dynamic.cust.swisscom.net) Nixkernal |
2024-10-10 13:27:57 +0200 | <haskellbridge> | <thirdofmay18081814goya> apparently it's from Datatypes a la carte but I can't find it there |
2024-10-10 13:27:39 +0200 | <haskellbridge> | <thirdofmay18081814goya> section 2.2 |
2024-10-10 13:27:29 +0200 | <haskellbridge> | <thirdofmay18081814goya> part on "row insertions" |
2024-10-10 13:27:23 +0200 | <haskellbridge> | <thirdofmay18081814goya> http://casperbp.net/store/hefty-algebras.pdf |
2024-10-10 13:26:14 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |