Newest at the top
| 2024-12-25 18:12:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 18:12:12 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-12-25 18:10:10 +0100 | <monochrom> | Example: pop = state (\(x:xs) -> (x,xs)) |
| 2024-12-25 18:09:11 +0100 | <Abhisek> | push a = State $ \xs -> ((),a:xs) |
| 2024-12-25 18:09:10 +0100 | <Abhisek> | push :: Int -> State Stack () |
| 2024-12-25 18:09:10 +0100 | <Abhisek> | pop = State $ \(x:xs) -> (x,xs) |
| 2024-12-25 18:09:09 +0100 | <Abhisek> | pop :: State Stack Int |
| 2024-12-25 18:09:09 +0100 | <Abhisek> | import Control.Monad.State |
| 2024-12-25 18:09:08 +0100 | <Abhisek> | I am going through https://learnyouahaskell.github.io/for-a-few-monads-more.html. The State monad is changed in the newer version of haskell, or it seems. Can you tell me how to work out |
| 2024-12-25 18:06:36 +0100 | Abhisek | (~Abhisek@106.221.206.15) |
| 2024-12-25 17:59:45 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2024-12-25 17:59:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-25 17:55:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 17:53:34 +0100 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) |
| 2024-12-25 17:51:14 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-12-25 17:43:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-25 17:38:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 17:33:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-25 17:30:24 +0100 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2024-12-25 17:28:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 17:25:08 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 244 seconds) |
| 2024-12-25 17:24:52 +0100 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2024-12-25 17:22:57 +0100 | rekahsoft | (~rekahsoft@76.69.85.220) (Remote host closed the connection) |
| 2024-12-25 17:21:00 +0100 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 244 seconds) |
| 2024-12-25 17:17:46 +0100 | toch | (toch@user/toch) (K-Lined) |
| 2024-12-25 17:16:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-25 17:14:14 +0100 | rekahsoft | (~rekahsoft@76.69.85.220) rekahsoft |
| 2024-12-25 17:11:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 17:10:08 +0100 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2024-12-25 17:09:22 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 2024-12-25 17:05:42 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 276 seconds) |
| 2024-12-25 17:05:30 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft |
| 2024-12-25 17:04:37 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-12-25 17:00:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-25 16:58:44 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 2024-12-25 16:57:13 +0100 | meritamen | (~meritamen@user/meritamen) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2024-12-25 16:56:32 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft |
| 2024-12-25 16:55:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 16:50:38 +0100 | meritamen | (~meritamen@user/meritamen) meritamen |
| 2024-12-25 16:49:41 +0100 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2024-12-25 16:49:12 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Read error: Connection reset by peer) |
| 2024-12-25 16:49:05 +0100 | meritamen_ | (~meritamen@user/meritamen) (Remote host closed the connection) |
| 2024-12-25 16:43:49 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 248 seconds) |
| 2024-12-25 16:42:03 +0100 | meritamen | (~meritamen@user/meritamen) (Ping timeout: 245 seconds) |
| 2024-12-25 16:41:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-25 16:40:18 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-12-25 16:38:40 +0100 | meritamen_ | (~meritamen@user/meritamen) meritamen |
| 2024-12-25 16:37:40 +0100 | meritamen | (~meritamen@user/meritamen) meritamen |
| 2024-12-25 16:37:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 16:36:06 +0100 | meritamen | (~meritamen@user/meritamen) (Remote host closed the connection) |