Newest at the top
| 2024-05-13 06:53:57 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-05-13 06:50:53 +0200 | xdminsy | (~xdminsy@117.147.70.240) |
| 2024-05-13 06:48:28 +0200 | michalz | (~michalz@185.246.207.203) |
| 2024-05-13 06:47:51 +0200 | sadome | (~sadome@user/sadome) (Excess Flood) |
| 2024-05-13 06:47:51 +0200 | sadome | (~sadome@user/sadome) |
| 2024-05-13 06:47:10 +0200 | sadome | (~sadome@user/sadome) (Excess Flood) |
| 2024-05-13 06:47:10 +0200 | sadome | (~sadome@user/sadome) |
| 2024-05-13 06:45:36 +0200 | michalz | (~michalz@185.246.207.197) (Client Quit) |
| 2024-05-13 06:43:35 +0200 | sadome | (~sadome@user/sadome) (Excess Flood) |
| 2024-05-13 06:43:35 +0200 | sadome | (~sadome@user/sadome) |
| 2024-05-13 06:42:39 +0200 | sadome | (~sadome@user/sadome) (Excess Flood) |
| 2024-05-13 06:42:39 +0200 | sadome | (~sadome@user/sadome) |
| 2024-05-13 06:42:39 +0200 | sadome | (~sadome@182.69.182.31) (Changing host) |
| 2024-05-13 06:42:39 +0200 | sadome | (~sadome@182.69.182.31) |
| 2024-05-13 06:41:30 +0200 | sadome | (~sadome@user/sadome) (Excess Flood) |
| 2024-05-13 06:41:30 +0200 | sadome | (~sadome@user/sadome) |
| 2024-05-13 06:41:30 +0200 | sadome | (~sadome@182.69.182.31) (Changing host) |
| 2024-05-13 06:41:30 +0200 | sadome | (~sadome@182.69.182.31) |
| 2024-05-13 06:40:56 +0200 | sadome | (~sadome@user/sadome) (Excess Flood) |
| 2024-05-13 06:40:56 +0200 | sadome | (~sadome@user/sadome) |
| 2024-05-13 06:40:56 +0200 | sadome | (~sadome@182.69.182.31) (Changing host) |
| 2024-05-13 06:40:56 +0200 | sadome | (~sadome@182.69.182.31) |
| 2024-05-13 06:40:45 +0200 | michalz | (~michalz@185.246.207.197) |
| 2024-05-13 06:39:27 +0200 | <probie> | Do you really need a `String`, or would a sign and a list of digits be preferable? |
| 2024-05-13 06:35:42 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-13 06:35:00 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-05-13 06:27:29 +0200 | ropwareJB | (~ropwareJB@2601:602:9100:1460:c8dc:a946:242d:d890) (Quit: Client closed) |
| 2024-05-13 06:19:31 +0200 | phma_ | phma |
| 2024-05-13 06:15:11 +0200 | <johnw> | this is only valid if you never make modification that cause the number to not be a number anymore |
| 2024-05-13 06:14:40 +0200 | <johnw> | shown f a = read <$> f (show a) |
| 2024-05-13 06:14:40 +0200 | <johnw> | I mean, this is highly suspect, but: |
| 2024-05-13 06:14:24 +0200 | <johnw> | the _Show prism is the precise opposite of what I am looking for |
| 2024-05-13 06:13:55 +0200 | <johnw> | I want to treat the int like a string, manipulate the string, and then store it back as an int |
| 2024-05-13 06:13:43 +0200 | <johnw> | I think 423 |
| 2024-05-13 06:06:17 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
| 2024-05-13 06:06:03 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-05-13 05:57:27 +0200 | aforemny_ | (~aforemny@i59F516F5.versanet.de) (Ping timeout: 260 seconds) |
| 2024-05-13 05:56:09 +0200 | aforemny | (~aforemny@i59F516F4.versanet.de) |
| 2024-05-13 05:55:09 +0200 | Square | (~Square@user/square) (Ping timeout: 272 seconds) |
| 2024-05-13 05:49:02 +0200 | xigua | (~xigua@user/xigua) |
| 2024-05-13 05:48:47 +0200 | xigua | (~xigua@user/xigua) (Read error: Connection reset by peer) |
| 2024-05-13 05:47:16 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 255 seconds) |
| 2024-05-13 05:43:31 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2024-05-13 05:40:22 +0200 | JimL | (~quassel@89.162.16.26) |
| 2024-05-13 05:37:28 +0200 | JimL | (~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-05-13 05:23:35 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-05-13 05:22:05 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 2024-05-13 05:21:23 +0200 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-05-13 05:18:14 +0200 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 252 seconds) |
| 2024-05-13 05:14:51 +0200 | zzz | (~yin@user/zero) (Ping timeout: 255 seconds) |