Newest at the top
2024-09-02 10:22:03 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-09-02 10:20:47 +0200 | __monty__ | (~toonn@user/toonn) |
2024-09-02 10:17:56 +0200 | CiaoSen | (~Jura@2a05:5800:246:9600:ca4b:d6ff:fec1:99da) |
2024-09-02 10:14:30 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2024-09-02 10:09:06 +0200 | misterfish | (~misterfis@87.215.131.102) |
2024-09-02 10:07:58 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
2024-09-02 09:58:59 +0200 | [exa] | (~exa@user/exa/x-3587197) |
2024-09-02 09:58:42 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
2024-09-02 09:58:17 +0200 | merijn | (~merijn@77.242.116.146) |
2024-09-02 09:58:11 +0200 | [exa] | (~exa@user/exa/x-3587197) (Quit: WeeChat 3.0) |
2024-09-02 09:58:08 +0200 | <[exa]> | (oh noes I can't type slash, sorry for noise) |
2024-09-02 09:57:51 +0200 | <[exa]> | quit |
2024-09-02 09:57:34 +0200 | misterfish | (~misterfis@h239071.upc-h.chello.nl) (Ping timeout: 260 seconds) |
2024-09-02 09:54:52 +0200 | Guest|48 | (~Guest|48@p57841b6b.dip0.t-ipconnect.de) (Client Quit) |
2024-09-02 09:54:24 +0200 | Guest|48 | (~Guest|48@p57841b6b.dip0.t-ipconnect.de) |
2024-09-02 09:45:59 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2024-09-02 09:39:54 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
2024-09-02 09:35:04 +0200 | [exa]_ | (~exa@user/exa/x-3587197) (Quit: WeeChat 4.3.5) |
2024-09-02 09:34:27 +0200 | youthlic | (~Thunderbi@user/youthlic) |
2024-09-02 09:34:07 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
2024-09-02 09:31:18 +0200 | [exa] | (~exa@user/exa/x-3587197) |
2024-09-02 09:30:51 +0200 | [exa] | [exa]_ |
2024-09-02 09:20:08 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
2024-09-02 09:15:19 +0200 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) |
2024-09-02 09:12:25 +0200 | <tomsmeding> | I had a brainfart |
2024-09-02 09:12:20 +0200 | <tomsmeding> | oh, right :p |
2024-09-02 09:12:06 +0200 | <Leary> | I meant impredicativity of quantification (quantifying over quantified types). So only if you include ImpredicativeTypes in your definition of "modern GHC Haskell". |
2024-09-02 09:11:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-02 09:06:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-02 09:04:40 +0200 | <tomsmeding> | Leary: isn't haskell impredicative? |
2024-09-02 08:57:23 +0200 | misterfish | (~misterfis@h239071.upc-h.chello.nl) |
2024-09-02 08:55:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
2024-09-02 08:54:54 +0200 | ft | (~ft@p4fc2a393.dip0.t-ipconnect.de) (Quit: leaving) |
2024-09-02 08:50:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-02 08:39:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-09-02 08:38:14 +0200 | CiaoSen | (~Jura@2a05:5800:246:9600:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
2024-09-02 08:36:49 +0200 | oo_miguel | (~Thunderbi@78.10.207.45) |
2024-09-02 08:35:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-02 08:25:19 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb8015cf4a37de266f89.dip0.t-ipconnect.de) |
2024-09-02 08:24:55 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2024-09-02 08:24:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-09-02 08:23:59 +0200 | pierrot | (~pi@user/pierrot) (Ping timeout: 255 seconds) |
2024-09-02 08:23:18 +0200 | Franciman | (~Franciman@mx1.fracta.dev) (Ping timeout: 245 seconds) |
2024-09-02 08:20:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-02 08:13:43 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-09-02 08:10:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-09-02 08:09:17 +0200 | <Leary> | Addendum: I guess true universality requires impredicativity, but whatever, close enough. |
2024-09-02 08:05:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-02 08:02:33 +0200 | CiaoSen | (~Jura@2a05:5800:246:9600:ca4b:d6ff:fec1:99da) |
2024-09-02 08:02:12 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |