Newest at the top
| 2024-07-04 22:12:19 +0200 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 2024-07-04 22:12:17 +0200 | Luj | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Ping timeout: 256 seconds) |
| 2024-07-04 22:06:32 +0200 | zetef | (~quassel@2a02:2f00:5202:1200:3fa2:e908:b522:fa2f) (Client Quit) |
| 2024-07-04 22:06:32 +0200 | zetef | (~quassel@2a02:2f00:5202:1200:3fa2:e908:b522:fa2f) |
| 2024-07-04 22:04:38 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2024-07-04 22:03:18 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.2.2) |
| 2024-07-04 22:01:53 +0200 | Luj | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 2024-07-04 22:01:50 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) |
| 2024-07-04 22:01:29 +0200 | Luj | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Quit: The Lounge - https://thelounge.chat) |
| 2024-07-04 21:59:27 +0200 | hgolden | (~hgolden@syn-172-251-233-141.res.spectrum.com) (Remote host closed the connection) |
| 2024-07-04 21:53:59 +0200 | pavonia | (~user@user/siracusa) |
| 2024-07-04 21:46:31 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-07-04 21:45:05 +0200 | phma | (~phma@2001:5b0:211f:df58:db5:77f1:4b7c:c21a) |
| 2024-07-04 21:44:13 +0200 | phma | (~phma@host-67-44-208-142.hnremote.net) (Read error: Connection reset by peer) |
| 2024-07-04 21:38:22 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 264 seconds) |
| 2024-07-04 21:33:54 +0200 | tdmarrrrrrrrrrra | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-07-04 21:33:06 +0200 | tdmarrrrrrrrrrra | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 256 seconds) |
| 2024-07-04 21:32:31 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-07-04 21:28:39 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:ef2:fbb7:f346:1550) |
| 2024-07-04 21:07:46 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 264 seconds) |
| 2024-07-04 20:59:57 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-04 20:59:39 +0200 | euleritian | (~euleritia@dynamic-176-002-137-249.176.2.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-04 20:54:02 +0200 | soverysour | (~soverysou@user/soverysour) |
| 2024-07-04 20:54:02 +0200 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
| 2024-07-04 20:54:01 +0200 | soverysour | (~soverysou@81.196.150.219) |
| 2024-07-04 20:53:47 +0200 | soverysour | (~soverysou@user/soverysour) (Remote host closed the connection) |
| 2024-07-04 20:51:50 +0200 | euleritian | (~euleritia@dynamic-176-002-137-249.176.2.pool.telefonica.de) |
| 2024-07-04 20:51:45 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-04 20:50:40 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-07-04 20:44:12 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-07-04 20:39:46 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-07-04 20:35:06 +0200 | edrx | (~Eduardo@2804:18:5804:f2b1:54b8:f1a5:f7d:fbf2) (Ping timeout: 255 seconds) |
| 2024-07-04 20:32:11 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-07-04 20:30:44 +0200 | <edrx> | many many thanks =) |
| 2024-07-04 20:30:39 +0200 | <edrx> | now I need to go a place without internet... |
| 2024-07-04 20:29:46 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) |
| 2024-07-04 20:28:51 +0200 | <edrx> | now at least I can point to a specific underbrace in the diagram and say "this is the hard step" =/ |
| 2024-07-04 20:28:12 +0200 | <edrx> | thanks |
| 2024-07-04 20:28:06 +0200 | <mauke> | that looks right |
| 2024-07-04 20:27:33 +0200 | <edrx> | right? |
| 2024-07-04 20:27:27 +0200 | <edrx> | then f :: State -> (a,State) |
| 2024-07-04 20:27:13 +0200 | <edrx> | if we have S f :: ST a |
| 2024-07-04 20:26:19 +0200 | <edrx> | https://i.ibb.co/RHtDFLk/sshot.png |
| 2024-07-04 20:23:13 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-07-04 20:22:30 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-07-04 20:20:42 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 255 seconds) |
| 2024-07-04 20:20:41 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-07-04 20:18:27 +0200 | <edrx> | thanks!!! let me typeset it in a nicer way... |
| 2024-07-04 20:17:23 +0200 | <ncf> | yes |
| 2024-07-04 20:16:38 +0200 | <edrx> | is this diagram correct? https://0x0.st/Xane.txt |
