2025/05/15

Newest at the top

2025-05-15 11:38:17 +0200 <ski> yin ^
2025-05-15 11:37:49 +0200 <lambdabot> * -> (* -> *) -> * -> *
2025-05-15 11:37:48 +0200 <ski> @kind StateT
2025-05-15 11:37:29 +0200 <lambdabot> (* -> *) -> Constraint
2025-05-15 11:37:29 +0200 <ski> @kind Functor
2025-05-15 11:37:11 +0200 <lambdabot> * -> Constraint
2025-05-15 11:37:10 +0200 <ski> @kind Eq
2025-05-15 11:36:18 +0200nullobject(~josh@user/nullobject) nullobject
2025-05-15 11:36:18 +0200pierrot(~pi@user/pierrot) pierrot
2025-05-15 11:36:02 +0200nullobject(~josh@user/nullobject) (Client Quit)
2025-05-15 11:35:12 +0200nullobject(~josh@user/nullobject) nullobject
2025-05-15 11:34:56 +0200nullobject(~josh@user/nullobject) (Client Quit)
2025-05-15 11:33:55 +0200img(~img@user/img) img
2025-05-15 11:33:52 +0200pierrot(~pi@user/pierrot) (Ping timeout: 252 seconds)
2025-05-15 11:32:31 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-05-15 11:31:21 +0200nullobject(~josh@user/nullobject) nullobject
2025-05-15 11:30:35 +0200nullobject(~josh@user/nullobject) (Client Quit)
2025-05-15 11:29:21 +0200nullobject(~josh@user/nullobject) nullobject
2025-05-15 11:27:53 +0200nullobject(~josh@user/nullobject) (Client Quit)
2025-05-15 11:26:31 +0200nullobject(~josh@user/nullobject) nullobject
2025-05-15 11:26:27 +0200jmorris(uid604645@id-604645.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2025-05-15 11:24:59 +0200nullobject(~josh@user/nullobject) (Client Quit)
2025-05-15 11:23:34 +0200nullobject(~josh@user/nullobject) nullobject
2025-05-15 11:20:49 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2025-05-15 11:18:33 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 244 seconds)
2025-05-15 11:18:00 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-15 11:08:26 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-05-15 11:03:25 +0200Square2(~Square@user/square) (Ping timeout: 252 seconds)
2025-05-15 11:03:19 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-05-15 11:00:50 +0200Square(~Square4@user/square) Square
2025-05-15 10:58:41 +0200Square2(~Square@user/square) Square
2025-05-15 10:52:12 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 244 seconds)
2025-05-15 10:47:50 +0200hellwolfthrowing random references
2025-05-15 10:47:17 +0200 <hellwolf> Kind in a typed land
2025-05-15 10:46:09 +0200acidjnk(~acidjnk@p200300d6e71c4f4555c97e44a9e822da.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-05-15 10:46:02 +0200 <yahb2> <no output>
2025-05-15 10:46:02 +0200 <tomsmeding> % data Strange = Strange Type
2025-05-15 10:45:25 +0200 <hellwolf> no on expected the type-in-type inquisition.
2025-05-15 10:44:02 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-05-15 10:39:29 +0200 <yahb2> Maybe :: * -> *
2025-05-15 10:39:28 +0200 <tomsmeding> % :k Maybe
2025-05-15 10:37:19 +0200 <yin> is it normal that the more i experiment with haskell, the more i want the type system to have a type system?
2025-05-15 10:36:59 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-05-15 10:24:06 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-15 10:20:12 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-15 10:19:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-15 10:17:45 +0200octorez(~octorez@194.32.120.60) (Quit: Client closed)
2025-05-15 10:16:33 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 244 seconds)
2025-05-15 10:08:10 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-05-15 10:06:36 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)