Newest at the top
2025-09-08 21:19:36 +0200 | img | (~img@user/img) img |
2025-09-08 21:18:20 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2025-09-08 21:16:56 +0200 | OftenFaded30 | (~OftenFade@user/tisktisk) OftenFaded |
2025-09-08 21:15:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-09-08 21:10:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-08 21:08:06 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
2025-09-08 21:07:27 +0200 | OftenFaded34 | (~OftenFade@user/tisktisk) (Ping timeout: 250 seconds) |
2025-09-08 21:00:43 +0200 | caconym747 | (~caconym@user/caconym) caconym |
2025-09-08 21:00:01 +0200 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
2025-09-08 20:59:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-09-08 20:54:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-08 20:53:07 +0200 | sprotte24_ | (~sprotte24@p200300d16f2d2900183abb7ac521596f.dip0.t-ipconnect.de) |
2025-09-08 20:51:25 +0200 | OftenFaded49 | (~OftenFade@user/tisktisk) (Ping timeout: 250 seconds) |
2025-09-08 20:47:08 +0200 | OftenFaded34 | (~OftenFade@user/tisktisk) OftenFaded |
2025-09-08 20:44:55 +0200 | OftenFaded28 | (~OftenFade@user/tisktisk) (Ping timeout: 250 seconds) |
2025-09-08 20:44:29 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2025-09-08 20:44:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-08 20:41:15 +0200 | OftenFaded49 | (~OftenFade@user/tisktisk) OftenFaded |
2025-09-08 20:39:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-08 20:36:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-09-08 20:34:31 +0200 | OftenFaded86 | (~OftenFade@user/tisktisk) (Ping timeout: 250 seconds) |
2025-09-08 20:32:41 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
2025-09-08 20:32:28 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-08 20:31:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-08 20:30:35 +0200 | OftenFaded28 | (~OftenFade@user/tisktisk) OftenFaded |
2025-09-08 20:27:25 +0200 | OftenFaded86 | (~OftenFade@user/tisktisk) OftenFaded |
2025-09-08 20:26:50 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2025-09-08 20:24:43 +0200 | divlamir | (~divlamir@user/divlamir) divlamir |
2025-09-08 20:24:20 +0200 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
2025-09-08 20:24:20 +0200 | sprotte24 | (~sprotte24@p200300d16f2d2900183abb7ac521596f.dip0.t-ipconnect.de) |
2025-09-08 20:24:14 +0200 | <tomsmeding> | (if you write `foo @a (x :: b) = RHS` then both a and b are in scope in RHS, and are equal) |
2025-09-08 20:23:36 +0200 | <tomsmeding> | but the `\@a (x :: a) -> x :: a` syntax that ski was asking for would be highly ambiguous in haskell where you have automatic generalisation :) |
2025-09-08 20:23:10 +0200 | <tomsmeding> | bah both the @a and the ::a bind a in the RHS |
2025-09-08 20:22:46 +0200 | <[exa]> | Franciman: btw what are you doing with ontologies? (curious, /me gonna hit that issue later this year) |
2025-09-08 20:22:16 +0200 | img | (~img@user/img) img |
2025-09-08 20:22:11 +0200 | <yahb2> | 4 |
2025-09-08 20:22:10 +0200 | <monochrom> | % foo 4 |
2025-09-08 20:22:05 +0200 | <monochrom> | "no news is good news" :) |
2025-09-08 20:21:50 +0200 | <tomsmeding> | oh |
2025-09-08 20:21:48 +0200 | <yahb2> | <no output> |
2025-09-08 20:21:48 +0200 | <tomsmeding> | % foo :: a -> a ; foo @a (x :: b) = x |
2025-09-08 20:21:43 +0200 | <yahb2> | <no output> |
2025-09-08 20:21:43 +0200 | <tomsmeding> | % foo :: a -> a ; foo @a (x :: a) = x |
2025-09-08 20:21:41 +0200 | <yahb2> | <no output> |
2025-09-08 20:21:41 +0200 | <tomsmeding> | % :seti -XTypeAbstractions |
2025-09-08 20:21:35 +0200 | <yahb2> | <interactive>:55:21: error: [GHC-78249] ; Illegal invisible type pattern: a ; Suggested fix: ; Perhaps you intended to use the ‘TypeAbstractions’ extension ; You may enable this... |
2025-09-08 20:21:35 +0200 | <tomsmeding> | % foo :: a -> a ; foo @a (x :: a) = x |
2025-09-08 20:21:25 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2025-09-08 20:21:25 +0200 | <tomsmeding> | if you supply a type signature, you can already do something like the second |
2025-09-08 20:20:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |