Newest at the top
| 2024-05-03 16:15:19 +0200 | <kuribas> | You say succ would work with any type, but it doesn't. |
| 2024-05-03 16:11:35 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 16:11:26 +0200 | danse-nr3 | (~danse-nr3@151.43.124.243) (Ping timeout: 255 seconds) |
| 2024-05-03 16:11:12 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-05-03 16:10:22 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 16:06:39 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 16:05:14 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 16:04:50 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-05-03 16:02:36 +0200 | onion | (~yin@user/zero) |
| 2024-05-03 16:01:32 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 16:01:26 +0200 | ft | (~ft@p3e9bc1bf.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-05-03 16:00:29 +0200 | onion | (~yin@user/zero) (Ping timeout: 240 seconds) |
| 2024-05-03 15:59:38 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 15:56:27 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 15:55:26 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 15:53:32 +0200 | <onion> | yes sorry for the noise |
| 2024-05-03 15:51:48 +0200 | <EvanR> | you can use lambdabot in a private message |
| 2024-05-03 15:51:44 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 15:50:18 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 15:46:36 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 15:45:10 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 15:44:45 +0200 | mwnaylor | (~user@2601:5cf:837e:2bb0::c22d) (Remote host closed the connection) |
| 2024-05-03 15:44:34 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2024-05-03 15:42:21 +0200 | <lambdabot> | ‘a2’ is a rigid type variable bound by |
| 2024-05-03 15:42:20 +0200 | <lambdabot> | • Couldn't match expected type ‘a2’ with actual type ‘Int’ |
| 2024-05-03 15:42:20 +0200 | <lambdabot> | error: |
| 2024-05-03 15:42:19 +0200 | <onion> | > let id' (f :: forall a. a -> a) (x :: Int) = f x :: a in id' succ 7 |
| 2024-05-03 15:41:31 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 15:40:30 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 15:36:52 +0200 | <onion> | hmm.. |
| 2024-05-03 15:36:46 +0200 | <lambdabot> | 8 |
| 2024-05-03 15:36:45 +0200 | <onion> | > let id' (f :: a -> a) (x :: Int) = f x :: a in id' succ 7 |
| 2024-05-03 15:36:36 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 15:36:27 +0200 | <lambdabot> | 7 |
| 2024-05-03 15:36:26 +0200 | <onion> | > let id' (f :: a -> a) (x :: a) = f x :: a in id' id 7 |
| 2024-05-03 15:36:15 +0200 | <onion> | oops |
| 2024-05-03 15:35:45 +0200 | <lambdabot> | a |
| 2024-05-03 15:35:43 +0200 | <onion> | > let id' (f :: a -> a) (x :: a) = f a :: a in id' id 7 |
| 2024-05-03 15:35:37 +0200 | onion | (~yin@user/zero) |
| 2024-05-03 15:34:54 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 15:33:15 +0200 | onion | (~yin@user/zero) (Ping timeout: 245 seconds) |
| 2024-05-03 15:31:47 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 15:31:21 +0200 | tv | (~tv@user/tv) (Ping timeout: 255 seconds) |
| 2024-05-03 15:30:14 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 15:29:03 +0200 | <lambdabot> | (7,False,"ok") |
| 2024-05-03 15:29:01 +0200 | <onion> | > let f (a :: Int) (b :: Bool) (c :: a) = (a,b,c) :: (Int,Bool,a) in f 7 False "ok" |
| 2024-05-03 15:27:50 +0200 | <onion> | i just found out i can write this: |
| 2024-05-03 15:26:26 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 15:25:06 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 15:24:10 +0200 | <onion> | thanks ncf |