Newest at the top
2024-05-07 15:40:33 +0200 | <Franciman> | \cap is the interseciton in latex, sorry |
2024-05-07 15:40:25 +0200 | <ski> | `sigma',`cap',`delta' are types as well ? |
2024-05-07 15:40:18 +0200 | <tomsmeding> | s/maybe/you could change the world here/ |
2024-05-07 15:39:54 +0200 | <ncf> | what's the reference for multi types? |
2024-05-07 15:39:54 +0200 | <Franciman> | i know haskell2010 does not, so the last ones |
2024-05-07 15:39:51 +0200 | <tomsmeding> | (no, no, maybe) |
2024-05-07 15:39:48 +0200 | <Franciman> | union of all the three |
2024-05-07 15:39:30 +0200 | <tomsmeding> | Franciman: are you interested in whether Haskell2010 has multi types, whether GHC has them, or whether there is a library that emulates them? |
2024-05-07 15:39:26 +0200 | <Franciman> | so sigma \cap tau \cap delta is an intersection type, you can represent as a set {sigma, tau, delta} |
2024-05-07 15:39:10 +0200 | <Franciman> | ski: you know how you can figure intersection types as "set" types? |
2024-05-07 15:38:58 +0200 | <Franciman> | no |
2024-05-07 15:38:56 +0200 | <ncf> | is that something you made up? |
2024-05-07 15:38:53 +0200 | <ski> | how would the non-idempotence work ? |
2024-05-07 15:38:50 +0200 | <Franciman> | what about multi types then? |
2024-05-07 15:38:44 +0200 | <ski> | no intersection types |
2024-05-07 15:38:27 +0200 | <Franciman> | like intersection types, except non-idempotent |
2024-05-07 15:38:17 +0200 | <dminuoso> | What is a multi type? |
2024-05-07 15:38:17 +0200 | <kuribas> | What are multi types? |
2024-05-07 15:38:05 +0200 | <Franciman> | does haskell have multi types? |
2024-05-07 15:37:54 +0200 | <ski> | (a forward/redirect ban to ##fix_your_connection (which is forwardable to from any channel) is a common way to indicate this issue) |
2024-05-07 15:37:13 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
2024-05-07 15:36:52 +0200 | tabemann__ | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Quit: Leaving) |
2024-05-07 15:35:43 +0200 | <ski> | (timeout one day) |
2024-05-07 15:35:37 +0200 | <ski> | <Axman6> Any chance we can ban stiell with a message until their connection it sorted out? |
2024-05-07 15:32:38 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection) |
2024-05-07 15:23:59 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:f7fe:a5d:216b:79ee) |
2024-05-07 15:23:46 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:c45d:8c8a:5c4d:ef6b) (Remote host closed the connection) |
2024-05-07 15:23:16 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) |
2024-05-07 15:22:00 +0200 | Server | +Cnt |
2024-05-07 15:21:59 +0200 | ircbrowse_tom | (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) |
2024-05-07 15:20:05 +0200 | <kuribas> | I was trying to get $refs to work in openapi (unsuccessful), then I saw your name appear. |
2024-05-07 15:19:37 +0200 | <kuribas> | opqdonut: I see you are working on clojure reitit! |
2024-05-07 15:18:54 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
2024-05-07 15:10:28 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 268 seconds) |
2024-05-07 15:10:04 +0200 | tomsmeding | (~tomsmedin@2a01:4f8:c0c:5e5e::2) |
2024-05-07 15:08:47 +0200 | tomsmeding | (~tomsmedin@static.21.109.88.23.clients.your-server.de) (Quit: ZNC 1.9.0 - https://znc.in) |
2024-05-07 15:03:36 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
2024-05-07 15:01:13 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2024-05-07 14:59:51 +0200 | <tomsmeding> | same |
2024-05-07 14:59:51 +0200 | <yushyin> | :D smart filter <3 |
2024-05-07 14:59:44 +0200 | <dminuoso> | To me this channel was dead quiet. |
2024-05-07 14:59:35 +0200 | <dminuoso> | Oh. I must be spoiled with irc.look.smart_filter :-) |
2024-05-07 14:59:33 +0200 | <tomsmeding> | looks like ski doesn't have their client hide joins/leaves of quiet people :) |
2024-05-07 14:59:06 +0200 | <tomsmeding> | dminuoso: https://ircbrowse.tomsmeding.com/browse/lchaskell?id=1271966#trid1271966 (scroll up from there) |
2024-05-07 14:58:52 +0200 | <yushyin> | ( https://libera.chat/guides/bots#litharge ) |
2024-05-07 14:58:44 +0200 | <dminuoso> | Yeah that ski mention in the reason confused me further. |
2024-05-07 14:58:23 +0200 | <yushyin> | litharge is a bot, ask ski |
2024-05-07 14:57:58 +0200 | ocra8 | (ocra8@user/ocra8) |
2024-05-07 14:56:09 +0200 | <dminuoso> | litharge: Curious, what happened there? |
2024-05-07 14:52:29 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 240 seconds) |