| 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) |
| 2025-04-26 02:28:29 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) (Remote host closed the connection) |
| 2025-04-26 02:29:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-26 02:29:38 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2025-04-26 02:40:43 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f84d9d34579eebef444.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-04-26 02:43:22 +0200 | otto_s | (~user@p4ff2799b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-04-26 02:45:16 +0200 | otto_s | (~user@p5b044fbe.dip0.t-ipconnect.de) |
| 2025-04-26 02:52:47 +0200 | euleritian | (~euleritia@77.23.248.47) (Remote host closed the connection) |
| 2025-04-26 02:53:05 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-04-26 03:03:28 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-04-26 03:14:30 +0200 | Pozyomka | (~pyon@user/pyon) (Read error: Connection reset by peer) |
| 2025-04-26 03:16:34 +0200 | arahael | (~arahael@user/arahael) arahael |
| 2025-04-26 03:21:52 +0200 | Buliarous | (~gypsydang@46.232.210.139) (Remote host closed the connection) |
| 2025-04-26 03:22:20 +0200 | Buliarous | (~gypsydang@46.232.210.139) Buliarous |
| 2025-04-26 03:32:27 +0200 | tv | (~tv@user/tv) (Quit: derp) |
| 2025-04-26 03:33:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-26 03:34:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-26 03:35:32 +0200 | tv | (~tv@user/tv) tv |
| 2025-04-26 03:38:26 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Remote host closed the connection) |
| 2025-04-26 03:38:59 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2025-04-26 03:43:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-26 03:44:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-26 03:49:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-26 03:51:08 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) |
| 2025-04-26 03:59:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-26 04:03:08 +0200 | Square2 | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2025-04-26 04:12:56 +0200 | drewr | (~drew@user/drewr) (Ping timeout: 272 seconds) |
| 2025-04-26 04:15:38 +0200 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-04-26 04:22:08 +0200 | td_ | (~td@i5387092B.versanet.de) (Ping timeout: 276 seconds) |
| 2025-04-26 04:23:46 +0200 | td_ | (~td@i5387090C.versanet.de) td_ |
| 2025-04-26 04:28:43 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-04-26 04:29:02 +0200 | euleritian | (~euleritia@dynamic-176-006-135-115.176.6.pool.telefonica.de) |
| 2025-04-26 04:32:51 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-04-26 04:36:04 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 268 seconds) |
| 2025-04-26 04:47:46 +0200 | down200 | (~down200@shell.lug.mtu.edu) (Quit: ZNC - https://znc.in) |
| 2025-04-26 04:54:25 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-04-26 04:55:47 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-04-26 05:02:42 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-04-26 05:02:59 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-04-26 05:03:22 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-04-26 05:04:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-26 05:10:53 +0200 | down200 | (~down200@shell.lug.mtu.edu) down200 |
| 2025-04-26 05:12:58 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-04-26 05:13:36 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-04-26 05:14:37 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-04-26 05:15:03 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-04-26 05:16:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-26 05:20:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |