Newest at the top
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) |
2024-03-28 16:21:30 +0100 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
2024-03-28 16:20:02 +0100 | infinity0 | (~infinity0@pwned.gg) |
2024-03-28 16:19:33 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3341-331a-5cd1-1218-580b-b9b4.rev.sfr.net) (Remote host closed the connection) |
2024-03-28 16:16:57 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) |
2024-03-28 16:13:06 +0100 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
2024-03-28 16:10:13 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-03-28 16:04:30 +0100 | <hackyhacker> | lyxia ah ok thanks |
2024-03-28 15:59:01 +0100 | <lyxia> | hackyhacker: Data.Text.Internal.Text is Text |
2024-03-28 15:59:00 +0100 | <hackyhacker> | Ah it's the default value for Text.Pandoc.Options.WriterOptions |
2024-03-28 15:57:06 +0100 | <hackyhacker> | Ah no it's defined in data-default-class |
2024-03-28 15:55:30 +0100 | <hackyhacker> | ncf So pandoc has a variable define 'def' which you pass to functions that read and write Pandocs which I thought was some sort of settings object and I thought it had Data.Text.Internal.Text instead of the normal Text as default type for string like things. |
2024-03-28 15:55:12 +0100 | hackyhacker | (~hackyhack@126.171-78-194.adsl-static.isp.belgacom.be) |
2024-03-28 15:54:33 +0100 | danza | (~francesco@151.47.130.237) |
2024-03-28 15:50:30 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:32c6:3a7:b5af:10e3) (Quit: ubert) |
2024-03-28 15:49:51 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
2024-03-28 15:47:32 +0100 | abrar | (~abrar@pool-72-78-199-167.phlapa.fios.verizon.net) |
2024-03-28 15:46:39 +0100 | abrar | (~abrar@pool-72-78-199-167.phlapa.fios.verizon.net) (Quit: WeeChat 4.1.1) |
2024-03-28 15:43:06 +0100 | yin | (~yin@user/zero) (Quit: Lost terminal) |
2024-03-28 15:43:05 +0100 | Sgeo | (~Sgeo@user/sgeo) |
2024-03-28 15:37:38 +0100 | Inst | (~Inst@120.244.192.126) |
2024-03-28 15:37:07 +0100 | Inst | (~Inst@120.244.192.126) (Max SendQ exceeded) |
2024-03-28 15:36:41 +0100 | Inst | (~Inst@120.244.192.126) |
2024-03-28 15:36:08 +0100 | Inst | (~Inst@120.244.192.126) (Ping timeout: 268 seconds) |
2024-03-28 15:36:05 +0100 | [Leary] | (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
2024-03-28 15:35:39 +0100 | <fedorafansuper> | offtopic |
2024-03-28 15:35:27 +0100 | <fedorafansuper> | or somehting |
2024-03-28 15:35:24 +0100 | <fedorafansuper> | death penalty |
2024-03-28 15:35:21 +0100 | <fedorafansuper> | do you thin there will be judgement because of the last stupid years |
2024-03-28 15:33:56 +0100 | drdo2 | drdo |
2024-03-28 15:33:55 +0100 | drdo | (~drdo@bl5-29-74.dsl.telepac.pt) (Ping timeout: 255 seconds) |
2024-03-28 15:33:18 +0100 | <fedorafansuper> | supermode so be careful yeah |
2024-03-28 15:33:11 +0100 | <fedorafansuper> | oh |
2024-03-28 15:33:06 +0100 | <fedorafansuper> | :D |
2024-03-28 15:33:05 +0100 | <fedorafansuper> | divya``` i am an idler dont destroy my flow |