Newest at the top
2024-05-03 15:10:19 +0200 | <lambdabot> | in a pattern binding signature |
2024-05-03 15:10:19 +0200 | <lambdabot> | • You cannot bind scoped type variable ‘a’ |
2024-05-03 15:10:19 +0200 | <lambdabot> | error: |
2024-05-03 15:10:18 +0200 | <danse-nr3> | > let f :: a -> a = id in f True |
2024-05-03 15:10:10 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 15:09:59 +0200 | <lambdabot> | True |
2024-05-03 15:09:58 +0200 | <danse-nr3> | > let x :: Bool = True in x |
2024-05-03 15:09:41 +0200 | <danse-nr3> | in a let i guess |
2024-05-03 15:09:28 +0200 | <lambdabot> | <hint>:1:11: error: parse error on input ‘=’ |
2024-05-03 15:09:27 +0200 | <danse-nr3> | > x :: Bool = True |
2024-05-03 15:09:02 +0200 | <lambdabot> | <hint>:1:13: error: parse error on input ‘=’ |
2024-05-03 15:09:00 +0200 | <danse-nr3> | > f :: a -> a = id |
2024-05-03 15:08:21 +0200 | <onion> | why can we write `x :: Bool = True` but not `f :: a -> a = id` ? |
2024-05-03 15:07:40 +0200 | yin | onion |
2024-05-03 15:07:37 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
2024-05-03 15:06:38 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Max SendQ exceeded) |
2024-05-03 15:06:23 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 15:05:37 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
2024-05-03 15:05:26 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-05-03 15:05:02 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 15:04:36 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Max SendQ exceeded) |
2024-05-03 15:03:41 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
2024-05-03 15:02:29 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Max SendQ exceeded) |
2024-05-03 15:01:41 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 15:01:38 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
2024-05-03 15:00:29 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Max SendQ exceeded) |
2024-05-03 15:00:22 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 14:59:39 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
2024-05-03 14:59:00 +0200 | yin | (~yin@user/zero) |
2024-05-03 14:58:14 +0200 | califax | (~califax@user/califx) |
2024-05-03 14:58:04 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Max SendQ exceeded) |
2024-05-03 14:57:17 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-05-03 14:57:14 +0200 | yin | (~yin@user/zero) (Ping timeout: 268 seconds) |
2024-05-03 14:57:11 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
2024-05-03 14:56:22 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 14:55:48 +0200 | zetef | (~quassel@5.14.202.140) |
2024-05-03 14:55:32 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Max SendQ exceeded) |
2024-05-03 14:55:14 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 14:54:26 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
2024-05-03 14:51:37 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 14:50:06 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 14:46:45 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 14:44:58 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 14:42:00 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal) |
2024-05-03 14:41:30 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 14:41:10 +0200 | akegalj | (~akegalj@141-136-177-23.dsl.iskon.hr) (Quit: leaving) |
2024-05-03 14:39:50 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 14:36:28 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-03 14:34:42 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-03 14:31:28 +0200 | zetef | (~quassel@5.14.202.140) (Ping timeout: 256 seconds) |