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 +0200 | nullobject | (~josh@user/nullobject) nullobject |
2025-05-15 11:36:18 +0200 | pierrot | (~pi@user/pierrot) pierrot |
2025-05-15 11:36:02 +0200 | nullobject | (~josh@user/nullobject) (Client Quit) |
2025-05-15 11:35:12 +0200 | nullobject | (~josh@user/nullobject) nullobject |
2025-05-15 11:34:56 +0200 | nullobject | (~josh@user/nullobject) (Client Quit) |
2025-05-15 11:33:55 +0200 | img | (~img@user/img) img |
2025-05-15 11:33:52 +0200 | pierrot | (~pi@user/pierrot) (Ping timeout: 252 seconds) |
2025-05-15 11:32:31 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2025-05-15 11:31:21 +0200 | nullobject | (~josh@user/nullobject) nullobject |
2025-05-15 11:30:35 +0200 | nullobject | (~josh@user/nullobject) (Client Quit) |
2025-05-15 11:29:21 +0200 | nullobject | (~josh@user/nullobject) nullobject |
2025-05-15 11:27:53 +0200 | nullobject | (~josh@user/nullobject) (Client Quit) |
2025-05-15 11:26:31 +0200 | nullobject | (~josh@user/nullobject) nullobject |
2025-05-15 11:26:27 +0200 | jmorris | (uid604645@id-604645.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2025-05-15 11:24:59 +0200 | nullobject | (~josh@user/nullobject) (Client Quit) |
2025-05-15 11:23:34 +0200 | nullobject | (~josh@user/nullobject) nullobject |
2025-05-15 11:20:49 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2025-05-15 11:18:33 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
2025-05-15 11:18:00 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-05-15 11:08:26 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-05-15 11:03:25 +0200 | Square2 | (~Square@user/square) (Ping timeout: 252 seconds) |
2025-05-15 11:03:19 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-05-15 11:00:50 +0200 | Square | (~Square4@user/square) Square |
2025-05-15 10:58:41 +0200 | Square2 | (~Square@user/square) Square |
2025-05-15 10:52:12 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
2025-05-15 10:47:50 +0200 | hellwolf | throwing random references |
2025-05-15 10:47:17 +0200 | <hellwolf> | Kind in a typed land |
2025-05-15 10:46:09 +0200 | acidjnk | (~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 +0200 | gmg | (~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 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2025-05-15 10:24:06 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
2025-05-15 10:20:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-15 10:19:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-15 10:17:45 +0200 | octorez | (~octorez@194.32.120.60) (Quit: Client closed) |
2025-05-15 10:16:33 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
2025-05-15 10:08:10 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2025-05-15 10:06:36 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |