Newest at the top
| 2025-01-30 19:51:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-30 19:50:29 +0100 | <euouae> | But why is it not C1 2? I've found that deriving Show will make it say C1 2. I've also found that deriving Eq will make it == C1 2. But is it just stylistic or is there something deeper here with regards to evaluation? |
| 2025-01-30 19:49:47 +0100 | <euouae> | Hello, I have this small code to define my own monad with <https://paste.tomsmeding.com/KAANvlR5>. When I try `C1 (1 :: Int) >>= (\x -> C1 $ x + 1)` I get that the result of the evaluation is `C1 (1 :: Int) >>= (\x -> C1 $ x + 1) :: MyMonad Int`. |
| 2025-01-30 19:49:41 +0100 | SlackCoder | (~SlackCode@remote.nationalgallery.org.ky) (Client Quit) |
| 2025-01-30 19:48:41 +0100 | euouae | (~euouae@user/euouae) euouae |
| 2025-01-30 19:48:00 +0100 | SlackCoder | (~SlackCode@remote.nationalgallery.org.ky) SlackCoder |
| 2025-01-30 19:44:59 +0100 | jespada | (~jespada@2800:a4:220c:6700:19eb:694f:b602:3bcb) jespada |
| 2025-01-30 19:43:47 +0100 | jespada | (~jespada@2800:a4:220c:6700:19eb:694f:b602:3bcb) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-01-30 19:43:39 +0100 | Googulator | (~Googulato@2a01-036d-0106-1666-e945-fd21-b920-9aa7.pool6.digikabel.hu) |
| 2025-01-30 19:43:25 +0100 | Googulator | (~Googulato@2a01-036d-0106-1666-e945-fd21-b920-9aa7.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-01-30 19:40:38 +0100 | alp | (~alp@2001:861:8ca0:4940:465c:30a2:2211:b30f) |
| 2025-01-30 19:35:54 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 260 seconds) |
| 2025-01-30 19:31:24 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 264 seconds) |
| 2025-01-30 19:29:29 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-30 19:28:50 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f4644f622875d25c5df.dip0.t-ipconnect.de) acidjnk |
| 2025-01-30 19:25:54 +0100 | euleritian | (~euleritia@77.23.250.232) (Read error: Connection reset by peer) |
| 2025-01-30 19:23:42 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-01-30 19:20:44 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-01-30 19:20:37 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2025-01-30 19:20:16 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-30 19:15:54 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-30 19:14:55 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-01-30 19:11:07 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-01-30 19:06:11 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-01-30 19:05:25 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-01-30 19:00:56 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 272 seconds) |
| 2025-01-30 18:56:06 +0100 | Midjak | (~MarciZ@82.66.147.146) Midjak |
| 2025-01-30 18:55:28 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2025-01-30 18:55:15 +0100 | Midjak | (~MarciZ@82.66.147.146) (Read error: Connection reset by peer) |
| 2025-01-30 18:54:29 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in) |
| 2025-01-30 18:42:02 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2025-01-30 18:40:26 +0100 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-01-30 18:31:03 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 2025-01-30 18:27:18 +0100 | danza | (~danza@user/danza) danza |
| 2025-01-30 18:27:02 +0100 | danz94407 | (~danza@user/danza) (Remote host closed the connection) |
| 2025-01-30 18:26:30 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-30 18:25:51 +0100 | Midjak | (~MarciZ@82.66.147.146) Midjak |
| 2025-01-30 18:25:02 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-30 18:24:19 +0100 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 260 seconds) |
| 2025-01-30 18:23:01 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2025-01-30 18:20:04 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-01-30 18:12:25 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f4679c2ce7937ff2475.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-01-30 18:09:25 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-01-30 18:09:22 +0100 | Guest64 | (~Guest64@133.cleveland-21-23rs.oh.dial-access.att.net) (K-Lined) |
| 2025-01-30 18:08:52 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-01-30 18:03:08 +0100 | Guest64 | (~Guest64@133.cleveland-21-23rs.oh.dial-access.att.net) |
| 2025-01-30 18:02:50 +0100 | Guest64 | (~Guest64@133.cleveland-21-23rs.oh.dial-access.att.net) (Quit: Client closed) |
| 2025-01-30 18:01:34 +0100 | omegatron | (~some@user/omegatron) (Ping timeout: 265 seconds) |
| 2025-01-30 18:01:06 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-30 17:57:59 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3504-afc6-692a-5599-d188-3ca4.rev.sfr.net) (Remote host closed the connection) |