Newest at the top
2024-03-28 18:37:18 +0100 | Guest52 | (~Guest52@110.235.239.168) (Client Quit) |
2024-03-28 18:36:47 +0100 | Guest97 | (~Guest97@216.165.217.88) |
2024-03-28 18:35:21 +0100 | CiaoSen | (~Jura@2a05:5800:2c1:2d00:e6b9:7aff:fe80:3d03) (Ping timeout: 256 seconds) |
2024-03-28 18:32:34 +0100 | Guest52 | (~Guest52@110.235.239.168) |
2024-03-28 18:30:20 +0100 | ph88 | (~ph88@91.64.63.48) (Ping timeout: 268 seconds) |
2024-03-28 18:19:06 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3341-331a-5cd1-1218-580b-b9b4.rev.sfr.net) (Remote host closed the connection) |
2024-03-28 18:15:19 +0100 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
2024-03-28 18:15:01 +0100 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Read error: Connection reset by peer) |
2024-03-28 18:15:00 +0100 | divya``` | (~user@2409:40e2:22:c013:945c:f9ff:fe1f:6047) (Ping timeout: 255 seconds) |
2024-03-28 18:12:47 +0100 | mstksg | jle` |
2024-03-28 18:12:32 +0100 | <mstksg> | .oO ( shamless plugin plug ) |
2024-03-28 18:07:52 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3341-331a-5cd1-1218-580b-b9b4.rev.sfr.net) |
2024-03-28 18:06:44 +0100 | mmhat | (~mmh@p200300f1c706a268ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.2.1) |
2024-03-28 18:06:23 +0100 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
2024-03-28 18:01:05 +0100 | igemnace | (~ian@user/igemnace) |
2024-03-28 17:53:26 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2024-03-28 17:49:43 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
2024-03-28 17:49:32 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-03-28 17:46:57 +0100 | zetef | (~quassel@2a02:2f00:5308:3500:36d7:557f:4ad5:f7e3) |
2024-03-28 17:46:09 +0100 | hackyhacker | (~hackyhack@126.171-78-194.adsl-static.isp.belgacom.be) (Quit: Client closed) |
2024-03-28 17:44:22 +0100 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
2024-03-28 17:35:14 +0100 | Achylles | (~Achylles_@45.182.57.57) |
2024-03-28 17:34:03 +0100 | danza | (~francesco@151.47.130.237) |
2024-03-28 17:27:26 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 268 seconds) |
2024-03-28 17:24:48 +0100 | acidjnk_new | (~acidjnk@p200300d6e714dc9271191991819977af.dip0.t-ipconnect.de) |
2024-03-28 17:20:08 +0100 | shapr` | (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Client Quit) |
2024-03-28 17:19:38 +0100 | shapr` | (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
2024-03-28 17:10:42 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
2024-03-28 17:10:30 +0100 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
2024-03-28 17:10:27 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
2024-03-28 17:09:45 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
2024-03-28 17:04:40 +0100 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
2024-03-28 17:02:09 +0100 | acidjnk_new | (~acidjnk@p200300d6e714dc9271191991819977af.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2024-03-28 16:57:49 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2024-03-28 16:45:47 +0100 | danza | (~francesco@151.47.130.237) (Ping timeout: 260 seconds) |
2024-03-28 16:40:34 +0100 | mei | (~mei@user/mei) |
2024-03-28 16:39:37 +0100 | <geekosaur> | .oO ( shameless plugin ) |
2024-03-28 16:39:16 +0100 | <lyxia> | shameless plug: https://hackage.haskell.org/package/driving-classes-plugin |
2024-03-28 16:38:59 +0100 | sawilagar | (~sawilagar@user/sawilagar) |
2024-03-28 16:38:16 +0100 | <lyxia> | yeah, or a plugin |
2024-03-28 16:38:08 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-03-28 16:37:24 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
2024-03-28 16:37:16 +0100 | <PoolloverNathan> | so TH it is? |
2024-03-28 16:37:05 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
2024-03-28 16:36:20 +0100 | <lyxia> | sadly there are no shortcuts for deriving |
2024-03-28 16:35:53 +0100 | <ncf> | with the right extensions you can use Useful in constraints. not sure about deriving |
2024-03-28 16:32:37 +0100 | magus3 | (~Thunderbi@189.6.35.139) (Quit: magus3) |
2024-03-28 16:31:38 +0100 | <PoolloverNathan> | can I do e.g. type Useful a = (Eq a, Show a, Read a, …); deriving instance Useful Foo so I don't need to write each instance by hand? I also want to use Useful in constraints |
2024-03-28 16:28:58 +0100 | PoolloverNathan | (~u0_a408@108.145.176.1) |
2024-03-28 16:23:38 +0100 | infinity0 | (~infinity0@pwned.gg) |