Newest at the top
2024-09-30 09:34:08 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2024-09-30 09:31:29 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2024-09-30 09:29:03 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
2024-09-30 09:20:23 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
2024-09-30 09:20:18 +0200 | petrichor | (~znc-user@user/petrichor) (Ping timeout: 272 seconds) |
2024-09-30 09:18:39 +0200 | cipherrot | (~znc-user@user/petrichor) petrichor |
2024-09-30 09:09:25 +0200 | misterfish | (~misterfis@87.215.131.102) misterfish |
2024-09-30 09:06:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-09-30 09:00:42 +0200 | caconym | (~caconym@user/caconym) caconym |
2024-09-30 09:00:02 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
2024-09-30 08:59:43 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
2024-09-30 08:58:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-30 08:54:25 +0200 | ft | (~ft@p4fc2acce.dip0.t-ipconnect.de) (Quit: leaving) |
2024-09-30 08:50:46 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-09-30 08:48:17 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-09-30 08:44:40 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2024-09-30 08:43:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-30 08:42:36 +0200 | <haskellbridge> | <Bowuigi> I could just grab the kinding from Leijen2004 (or any type system with type constructors) and call it a day, but if there are any better ways to do this I'm open to suggestions |
2024-09-30 08:41:54 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 260 seconds) |
2024-09-30 08:41:29 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
2024-09-30 08:40:30 +0200 | <haskellbridge> | <Bowuigi> Outside of System FC, that is. That extension has way more than what I need |
2024-09-30 08:39:34 +0200 | <haskellbridge> | <Bowuigi> Is there any formalization of System F with type operators but without type abstractions? In particular, with Haskell-style newtypes and taking built-in type operators into account |
2024-09-30 08:37:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-09-30 08:36:49 +0200 | <haskellbridge> | <Bowuigi> I was mostly referring to the paper of the same name by Hinze and James, but it works either way |
2024-09-30 08:35:01 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2024-09-30 08:32:40 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-30 08:27:25 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2024-09-30 08:27:13 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-09-30 08:23:44 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
2024-09-30 08:22:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-09-30 08:16:52 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-30 08:16:47 +0200 | <jackdk> | dohohoho |
2024-09-30 08:16:04 +0200 | Xe | (~cadey@perl/impostor/xe) (Ping timeout: 260 seconds) |
2024-09-30 08:13:07 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-09-30 08:10:37 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
2024-09-30 08:07:50 +0200 | alp | (~alp@user/alp) alp |
2024-09-30 08:07:50 +0200 | alp | (~alp@2001:861:e3d6:8f80:5ec8:1cec:7a:413a) (Changing host) |
2024-09-30 08:07:48 +0200 | alp | (~alp@2001:861:e3d6:8f80:5ec8:1cec:7a:413a) |
2024-09-30 08:07:30 +0200 | alp | (~alp@user/alp) (Remote host closed the connection) |
2024-09-30 08:06:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-09-30 08:03:33 +0200 | bliminse | (~bliminse@user/bliminse) bliminse |
2024-09-30 08:01:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-30 07:56:03 +0200 | floyza | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
2024-09-30 07:55:15 +0200 | floyza | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) gdown |
2024-09-30 07:54:57 +0200 | gdown | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
2024-09-30 07:54:42 +0200 | gdown | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) gdown |
2024-09-30 07:54:25 +0200 | gdown | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
2024-09-30 07:54:21 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb276c1c454e32c34a99.dip0.t-ipconnect.de) acidjnk |
2024-09-30 07:54:07 +0200 | <Axman6> | That just sounds like the reasoning I already have! |
2024-09-30 07:53:53 +0200 | gdown | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) gdown |