| 2025-04-26 00:01:05 +0200 | <EvanR> | sanity check, is there some special type called St, I can't seem to find the definition |
| 2025-04-26 00:01:42 +0200 | <EvanR> | eval :: Tree -> St Value |
| 2025-04-26 00:01:45 +0200 | <haskellbridge> | <hellwolf> "data NeoHaskell = Void" |
| 2025-04-26 00:02:06 +0200 | <haskellbridge> | <hellwolf> * "type |
| 2025-04-26 00:03:05 +0200 | LainIwakura41 | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-04-26 00:06:29 +0200 | <EvanR> | type St = StateT Context (ExceptT Error IO) |
| 2025-04-26 00:06:30 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) (Ping timeout: 240 seconds) |
| 2025-04-26 00:06:44 +0200 | <monochrom> | I haven't heard of St. |
| 2025-04-26 00:07:27 +0200 | <EvanR> | wasn't a type at all but a synonym... |
| 2025-04-26 00:29:22 +0200 | <mauke> | St Francis |
| 2025-04-26 00:39:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-26 00:47:22 +0200 | <haskellbridge> | <hellwolf> {-# LANGUAGE OverloadedRecordDot #-} |
| 2025-04-26 00:47:22 +0200 | <haskellbridge> | St. Francis |
| 2025-04-26 00:48:20 +0200 | <monochrom> | OverlordDotComDot |
| 2025-04-26 00:49:13 +0200 | nek0 | (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
| 2025-04-26 00:51:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-26 00:56:22 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-04-26 00:56:47 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-04-26 00:58:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-26 01:09:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-26 01:13:19 +0200 | sprotte24 | (~sprotte24@p200300d16f05f30064a5653bc6ebb7c1.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-04-26 01:15:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-26 01:17:08 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-04-26 01:18:41 +0200 | euleritian | (~euleritia@77.23.248.47) |
| 2025-04-26 01:21:26 +0200 | Square2 | (~Square@user/square) Square |
| 2025-04-26 01:21:32 +0200 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2025-04-26 01:24:02 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) (Remote host closed the connection) |
| 2025-04-26 01:25:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-26 01:27:28 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-04-26 01:31:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-26 01:35:32 +0200 | shr\ke | (~shrike@user/paxhumana) (Ping timeout: 252 seconds) |
| 2025-04-26 01:35:41 +0200 | shr\ke | (~shrike@user/paxhumana) paxhumana |
| 2025-04-26 01:35:42 +0200 | shr\ke | (~shrike@user/paxhumana) (Changing host) |
| 2025-04-26 01:35:42 +0200 | shr\ke | (~shrike@user/shrke:31298) shr\ke |
| 2025-04-26 01:41:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-26 01:47:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-26 01:57:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-26 02:02:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-26 02:04:37 +0200 | jespada | (~jespada@179.26.245.3) (Ping timeout: 252 seconds) |
| 2025-04-26 02:13:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-26 02:18:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |