Newest at the top
| 2024-11-05 10:15:30 +0100 | <tomsmeding> | arahael: I guess ghcup doesn't provide versions for newer distro versions because 1. the older ones work and 2. fewer distribution artifacts lightens the load on release managers / CI infra etc. :) |
| 2024-11-05 10:13:44 +0100 | <Leary> | Anyway, you can always just `type (+) = Either`. |
| 2024-11-05 10:13:22 +0100 | <Leary> | Type level or not doesn't make a difference; infix is fine iff the identifier is suitably named. "a `Or` b" would be fine, but "a `Either` b" isn't. |
| 2024-11-05 10:11:09 +0100 | <kaol> | I get "Illegal term-level use of the type constructor or class ‘Either’" when I try anything like that. |
| 2024-11-05 10:10:02 +0100 | <Inst> | also, where's the config for default fixity / precedence when you backtick a function? |
| 2024-11-05 10:09:13 +0100 | <Inst> | or is it an actually acceptable use of Haskell syntax? |
| 2024-11-05 10:09:06 +0100 | <Inst> | is Text `Either` Bool cancerous? |
| 2024-11-05 10:08:39 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-11-05 10:08:37 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-11-05 10:08:33 +0100 | nandv | (~nandv@2405:201:5c16:135:1dc1:6936:d420:250a) (Ping timeout: 276 seconds) |
| 2024-11-05 10:05:14 +0100 | abyss | (~nandv@37.19.205.154) |
| 2024-11-05 10:04:43 +0100 | enikar | (~enikar@user/enikar) enikar |
| 2024-11-05 10:04:27 +0100 | enikar | (~enikar@user/enikar) (Quit: WeeChat 3.0) |
| 2024-11-05 09:58:30 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-11-05 09:48:49 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-11-05 09:48:47 +0100 | Versality | (~Versality@user/Versality) Versality |
| 2024-11-05 09:48:31 +0100 | euleritian | (~euleritia@dynamic-176-000-012-045.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-05 09:46:46 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-11-05 09:38:39 +0100 | ubert | (~Thunderbi@178.115.51.39.wireless.dyn.drei.com) (Ping timeout: 276 seconds) |
| 2024-11-05 09:34:09 +0100 | notzmv | (~daniel@user/notzmv) (Ping timeout: 260 seconds) |
| 2024-11-05 09:33:48 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2024-11-05 09:28:16 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-11-05 09:27:57 +0100 | alp | (~alp@static-176-175-89-30.ftth.abo.bbox.fr) |
| 2024-11-05 09:27:36 +0100 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-11-05 09:25:56 +0100 | simendsjo | (~user@79.161.5.185) (Ping timeout: 255 seconds) |
| 2024-11-05 09:25:44 +0100 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-11-05 09:25:42 +0100 | abyss | (~nandv@185.107.56.128) (Ping timeout: 252 seconds) |
| 2024-11-05 09:24:05 +0100 | nandv | (~nandv@2405:201:5c16:135:1dc1:6936:d420:250a) |
| 2024-11-05 09:14:00 +0100 | simendsjo | (~user@79.161.5.185) |
| 2024-11-05 09:09:22 +0100 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-11-05 09:08:58 +0100 | l-Shane-l | (~l-Shane-l@user/l-Shane-l) (Quit: Client closed) |
| 2024-11-05 09:07:34 +0100 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-11-05 09:07:34 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-05 09:06:20 +0100 | misterfish | (~misterfis@h239071.upc-h.chello.nl) misterfish |
| 2024-11-05 09:06:03 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-11-05 09:00:39 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-11-05 09:00:00 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-11-05 08:54:07 +0100 | nandv | (~nandv@2405:201:5c16:135:1dc1:6936:d420:250a) (Ping timeout: 264 seconds) |
| 2024-11-05 08:51:13 +0100 | abyss | (~nandv@185.107.56.128) |
| 2024-11-05 08:47:43 +0100 | nandv | (~nandv@2405:201:5c16:135:1dc1:6936:d420:250a) |
| 2024-11-05 08:47:08 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-11-05 08:46:19 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2024-11-05 08:44:58 +0100 | l-Shane-l | (~l-Shane-l@user/l-Shane-l) l-Shane-l |
| 2024-11-05 08:38:24 +0100 | l-Shane-l | (~l-Shane-l@171.33.234.132) (Quit: Client closed) |
| 2024-11-05 08:29:58 +0100 | hgolden__ | (~hgolden@23.162.40.28) (Ping timeout: 252 seconds) |
| 2024-11-05 08:27:24 +0100 | hgolden_ | (~hgolden@169.150.203.36) hgolden |
| 2024-11-05 08:23:30 +0100 | l-Shane-l | (~l-Shane-l@171.33.234.132) |
| 2024-11-05 08:15:38 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-11-05 08:02:53 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 245 seconds) |
| 2024-11-05 07:58:48 +0100 | acidjnk | (~acidjnk@p200300d6e7283f86fde9f223924bb8a1.dip0.t-ipconnect.de) acidjnk |