Logs: freenode/#haskell
| 2021-04-23 20:03:40 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-04-23 20:03:47 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-04-23 20:04:04 | → | idhugo joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
| 2021-04-23 20:04:07 | → | jijimofo joins (~cmo@S010610561191f5d6.lb.shawcable.net) |
| 2021-04-23 20:04:15 | × | lawr3nce_ quits (~lawr3nce@gateway/tor-sasl/lawr3nce) (Remote host closed the connection) |
| 2021-04-23 20:05:27 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 265 seconds) |
| 2021-04-23 20:05:46 | × | xff0x quits (~xff0x@2001:1a81:52f5:ac00:e7f3:bc3c:e7b8:4be7) (Ping timeout: 245 seconds) |
| 2021-04-23 20:06:45 | → | xff0x joins (~xff0x@2001:1a81:52f5:ac00:2560:bbed:ada5:1f88) |
| 2021-04-23 20:06:45 | × | idhugo quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Remote host closed the connection) |
| 2021-04-23 20:07:42 | → | petersen joins (~petersen@redhat/juhp) |
| 2021-04-23 20:07:49 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-23 20:09:32 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-04-23 20:10:23 | × | jb55 quits (~jb55@gateway/tor-sasl/jb55) (Remote host closed the connection) |
| 2021-04-23 20:10:28 | → | lordcirth__ joins (~lordcirth@2607:f2c0:95b3:4400:11af:5eb6:2b18:3df9) |
| 2021-04-23 20:12:12 | × | malumore quits (~malumore@151.62.127.162) (Ping timeout: 240 seconds) |
| 2021-04-23 20:12:57 | × | lordcirth_ quits (~lordcirth@2607:f2c0:95b3:4400:11af:5eb6:2b18:3df9) (Ping timeout: 250 seconds) |
| 2021-04-23 20:15:06 | × | __minoru__shirae quits (~shiraeesh@46.34.206.138) (Ping timeout: 240 seconds) |
| 2021-04-23 20:22:31 | × | jrp quits (0550efe4@5.80.239.228) (Quit: Connection closed) |
| 2021-04-23 20:25:00 | × | xcmw quits (~textual@dyn-72-33-2-152.uwnet.wisc.edu) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-23 20:25:45 | × | DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 2021-04-23 20:28:56 | → | lordcirth_ joins (~lordcirth@2607:f2c0:95b3:4400:bc81:7608:42a7:e76a) |
| 2021-04-23 20:29:50 | × | akulkarn` quits (~user@aputeaux-652-1-270-231.w90-43.abo.wanadoo.fr) (Ping timeout: 246 seconds) |
| 2021-04-23 20:31:35 | × | lordcirth__ quits (~lordcirth@2607:f2c0:95b3:4400:11af:5eb6:2b18:3df9) (Ping timeout: 250 seconds) |
| 2021-04-23 20:31:45 | → | DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 2021-04-23 20:34:14 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2021-04-23 20:34:18 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-04-23 20:34:46 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
| 2021-04-23 20:36:41 | → | xcmw joins (~textual@dyn-72-33-2-152.uwnet.wisc.edu) |
| 2021-04-23 20:37:41 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-23 20:37:50 | × | alx741 quits (~alx741@186.178.109.231) (Ping timeout: 265 seconds) |
| 2021-04-23 20:41:33 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Ping timeout: 260 seconds) |
| 2021-04-23 20:43:01 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-04-23 20:43:15 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 2021-04-23 20:44:57 | × | ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Quit: ->) |
| 2021-04-23 20:47:06 | × | nan` quits (~nan`@unaffiliated/nan/x-5405850) (Ping timeout: 240 seconds) |
| 2021-04-23 20:47:30 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) (Remote host closed the connection) |
| 2021-04-23 20:47:30 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:606d:f242:39c4:3d4e) |
| 2021-04-23 20:50:30 | → | alx741 joins (~alx741@181.196.69.117) |
| 2021-04-23 20:51:11 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 2021-04-23 20:51:57 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:606d:f242:39c4:3d4e) (Ping timeout: 250 seconds) |
| 2021-04-23 20:53:39 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-23 20:54:18 | × | chele quits (~chele@5.53.222.202) (Remote host closed the connection) |
| 2021-04-23 20:56:01 | → | nan` joins (~nan`@unaffiliated/nan/x-5405850) |
| 2021-04-23 20:57:46 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-04-23 20:59:44 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-04-23 21:00:04 | × | Carl6 quits (6bc3aca7@107-195-172-167.lightspeed.oshkwi.sbcglobal.net) (Quit: Connection closed) |
| 2021-04-23 21:01:54 | → | dmytrish joins (~mitra@2a02:8084:a82:d900:6010:2869:d10:372c) |
| 2021-04-23 21:02:52 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2021-04-23 21:03:31 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-04-23 21:05:21 | × | timCF quits (~i.tkachuk@m91-129-104-226.cust.tele2.ee) (Quit: leaving) |
| 2021-04-23 21:05:59 | → | Codaraxis__ joins (~Codaraxis@92.223.89.199) |
| 2021-04-23 21:06:32 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-04-23 21:07:42 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-04-23 21:08:24 | <jijimofo> | have there been attempts at verify ghc akin to the compcert project? |
| 2021-04-23 21:09:05 | <jijimofo> | have been thinking about doing a verified haskell project but im a beginner in mechanical logic |
| 2021-04-23 21:12:07 | → | nut` joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-23 21:12:41 | × | Lycurgus quits (~niemand@98.4.118.65) (Quit: Exeunt) |
| 2021-04-23 21:15:57 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 2021-04-23 21:15:58 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-23 21:17:39 | <monochrom> | No. |
| 2021-04-23 21:18:25 | × | hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 260 seconds) |
| 2021-04-23 21:18:26 | × | nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-04-23 21:20:16 | × | stree quits (~stree@68.36.8.116) (Quit: Caught exception) |
| 2021-04-23 21:20:40 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-23 21:21:13 | × | knupfer quits (~Thunderbi@i577BCD4D.versanet.de) (Ping timeout: 260 seconds) |
| 2021-04-23 21:22:16 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-23 21:30:17 | <maerwald> | unlikely to happen, imo |
| 2021-04-23 21:30:32 | <maerwald> | check out CakeML |
| 2021-04-23 21:30:36 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-23 21:31:35 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-23 21:31:42 | → | idhugo joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
| 2021-04-23 21:33:07 | × | titusg quits (~user@2a00:23c6:ab80:c700:766e:b64a:8e02:8707) (Ping timeout: 248 seconds) |
| 2021-04-23 21:35:52 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-04-23 21:38:00 | → | seven_three joins (~user@pool-96-233-64-53.bstnma.fios.verizon.net) |
| 2021-04-23 21:38:43 | × | nut` quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Read error: No route to host) |
| 2021-04-23 21:39:49 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) |
| 2021-04-23 21:41:17 | <NemesisD> | given `data MyRec = R { age :: Int }` and a formatting string "Your age is {name}" :: Text and maybe a typeclass that gives me `toT :: a -> Text`, would it be possible using Generic/Data to write an interpolation function that takes each field by name, applies `toT` and fills the placeholder? or do i need TH for that? |
| 2021-04-23 21:41:42 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:5994:3900:4bf6:3fc2) |
| 2021-04-23 21:43:26 | ← | seven_three parts (~user@pool-96-233-64-53.bstnma.fios.verizon.net) ("ERC (IRC client for Emacs 27.2)") |
| 2021-04-23 21:44:51 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-23 21:45:22 | × | idhugo quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Remote host closed the connection) |
| 2021-04-23 21:45:39 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-23 21:46:54 | × | coot quits (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 260 seconds) |
| 2021-04-23 21:47:44 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-04-23 21:48:02 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2021-04-23 21:48:20 | × | cantstanya quits (~chatting@gateway/tor-sasl/cantstanya) (Remote host closed the connection) |
| 2021-04-23 21:48:24 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2021-04-23 21:50:40 | → | cantstanya joins (~chatting@gateway/tor-sasl/cantstanya) |
| 2021-04-23 21:52:20 | → | elliott_ joins (~elliott@pool-108-18-30-46.washdc.fios.verizon.net) |
| 2021-04-23 21:52:36 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 2021-04-23 21:55:45 | × | michalz quits (~user@185.246.204.61) (Remote host closed the connection) |
| 2021-04-23 21:56:11 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-23 21:56:38 | × | elliott_ quits (~elliott@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-04-23 21:56:53 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2021-04-23 21:57:31 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-04-23 21:59:47 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 268 seconds) |
| 2021-04-23 22:02:33 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-04-23 22:02:55 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 2021-04-23 22:03:22 | × | Guest94131 quits (~textual@zrcout.mskcc.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-23 22:07:18 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
All times are in UTC.