Logs: liberachat/#haskell
| 2021-08-05 18:46:02 | × | Sgeo_ quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-08-05 18:46:29 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-08-05 18:46:48 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 2021-08-05 18:49:27 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-05 18:49:31 | chris | is now known as Guest5389 |
| 2021-08-05 18:51:36 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-08-05 18:54:38 | × | Erutuon quits (~Erutuon@user/erutuon) (Client Quit) |
| 2021-08-05 18:54:52 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-08-05 18:55:33 | × | xff0x_ quits (~xff0x@2001:1a81:5296:aa00:7160:64f8:3763:f62c) (Ping timeout: 258 seconds) |
| 2021-08-05 18:55:34 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-05 18:56:20 | → | xff0x_ joins (~xff0x@2001:1a81:5296:aa00:d57e:94f9:9f5a:1218) |
| 2021-08-05 18:58:08 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-05 19:00:59 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-05 19:02:50 | × | xff0x_ quits (~xff0x@2001:1a81:5296:aa00:d57e:94f9:9f5a:1218) (Ping timeout: 258 seconds) |
| 2021-08-05 19:03:13 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds) |
| 2021-08-05 19:04:41 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 2021-08-05 19:11:28 | × | nvmd quits (~nvmd@user/nvmd) (Quit: Later, nerds.) |
| 2021-08-05 19:17:40 | → | Brumaire joins (~quassel@81-64-14-121.rev.numericable.fr) |
| 2021-08-05 19:18:33 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 258 seconds) |
| 2021-08-05 19:20:49 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-08-05 19:21:17 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-05 19:25:02 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 250 seconds) |
| 2021-08-05 19:26:44 | → | drd joins (~drd@93-39-151-19.ip76.fastwebnet.it) |
| 2021-08-05 19:29:11 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-08-05 19:29:46 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 240 seconds) |
| 2021-08-05 19:30:08 | × | mattil quits (~mattilinn@87-92-27-109.bb.dnainternet.fi) (Quit: Leaving) |
| 2021-08-05 19:30:16 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-05 19:30:31 | → | nvmd joins (~nvmd@user/nvmd) |
| 2021-08-05 19:34:27 | → | barzo joins (~hd@159.146.18.173) |
| 2021-08-05 19:34:56 | → | xff0x_ joins (~xff0x@2001:1a81:5296:aa00:d57e:94f9:9f5a:1218) |
| 2021-08-05 19:38:18 | × | oxide quits (~lambda@user/oxide) (Quit: oxide) |
| 2021-08-05 19:41:59 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-08-05 19:43:04 | → | ukari joins (~ukari@user/ukari) |
| 2021-08-05 19:46:19 | → | euouae joins (~euouae@user/euouae) |
| 2021-08-05 19:46:58 | <euouae> | Hello I’m reading the docs of cabal : https://cabal.readthedocs.io/en/3.4/installing-packages.html and section 3.2 on building and installing is not yet written |
| 2021-08-05 19:47:14 | <euouae> | Do earlier versions of the docs have it? Or is it just missing? |
| 2021-08-05 19:48:24 | <euouae> | Hmm I’m noticing that 3.2 has that section. Is there a reason why 3.4 doesn’t have it? |
| 2021-08-05 19:49:59 | × | drd quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 258 seconds) |
| 2021-08-05 19:53:29 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-08-05 20:01:24 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-05 20:01:24 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-08-05 20:01:27 | allbery_b | is now known as geekosaur |
| 2021-08-05 20:02:38 | × | neceve quits (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) (Ping timeout: 258 seconds) |
| 2021-08-05 20:03:06 | × | haykam1 quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-05 20:03:21 | → | haykam1 joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-05 20:04:57 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds) |
| 2021-08-05 20:05:07 | × | juhp quits (~juhp@128.106.188.220) (Ping timeout: 268 seconds) |
| 2021-08-05 20:06:09 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-05 20:07:16 | → | juhp joins (~juhp@128.106.188.220) |
| 2021-08-05 20:07:58 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-05 20:11:31 | × | enoq quits (~enoq@194-208-179-35.lampert.tv) (Quit: enoq) |
| 2021-08-05 20:15:40 | × | _0x47 quits (uid508683@id-508683.tinside.irccloud.com) (Ping timeout: 256 seconds) |
| 2021-08-05 20:15:41 | × | agander_m_ quits (sid407952@id-407952.tinside.irccloud.com) (Ping timeout: 252 seconds) |
| 2021-08-05 20:15:41 | × | jmct_ quits (sid160793@id-160793.tinside.irccloud.com) (Ping timeout: 252 seconds) |
| 2021-08-05 20:15:46 | × | darxun quits (sid504814@id-504814.tinside.irccloud.com) (Ping timeout: 240 seconds) |
| 2021-08-05 20:15:57 | × | hongminhee quits (sid295@id-295.tinside.irccloud.com) (Ping timeout: 245 seconds) |
| 2021-08-05 20:16:03 | × | econo quits (uid147250@user/econo) (Ping timeout: 258 seconds) |
| 2021-08-05 20:16:18 | × | glowcoil quits (sid3405@id-3405.tinside.irccloud.com) (Ping timeout: 240 seconds) |
| 2021-08-05 20:16:36 | × | taktoa[c] quits (sid282096@id-282096.tinside.irccloud.com) (Ping timeout: 250 seconds) |
| 2021-08-05 20:16:36 | × | jackdk quits (sid373013@cssa/jackdk) (Ping timeout: 250 seconds) |
| 2021-08-05 20:16:48 | × | sa quits (sid1055@id-1055.tinside.irccloud.com) (Ping timeout: 256 seconds) |
| 2021-08-05 20:17:06 | × | hubvu quits (sid495858@id-495858.tinside.irccloud.com) (Ping timeout: 240 seconds) |
| 2021-08-05 20:17:22 | × | typetetris quits (sid275937@id-275937.tinside.irccloud.com) (Ping timeout: 256 seconds) |
| 2021-08-05 20:17:26 | × | bbhoss quits (sid18216@id-18216.tinside.irccloud.com) (Ping timeout: 251 seconds) |
| 2021-08-05 20:17:56 | × | kristjansson_ quits (sid126207@id-126207.tinside.irccloud.com) (Ping timeout: 272 seconds) |
| 2021-08-05 20:19:54 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-08-05 20:24:34 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Quit: WeeChat 3.2) |
| 2021-08-05 20:29:19 | × | markpythonicbitc quits (~markpytho@50.228.44.6) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-08-05 20:29:19 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-08-05 20:30:57 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-05 20:32:11 | → | _0x47 joins (sid508683@tinside.irccloud.com) |
| 2021-08-05 20:32:34 | → | taktoa[c] joins (sid282096@tinside.irccloud.com) |
| 2021-08-05 20:32:45 | → | darxun joins (sid504814@tinside.irccloud.com) |
| 2021-08-05 20:32:53 | → | glowcoil joins (sid3405@tinside.irccloud.com) |
| 2021-08-05 20:33:07 | → | sa joins (sid1055@tinside.irccloud.com) |
| 2021-08-05 20:34:08 | → | burnsidesLlama joins (~burnsides@client-8-91.eduroam.oxuni.org.uk) |
| 2021-08-05 20:34:14 | → | markpythonicbitc joins (~markpytho@50.228.44.6) |
| 2021-08-05 20:38:18 | × | markpythonicbitc quits (~markpytho@50.228.44.6) (Ping timeout: 240 seconds) |
| 2021-08-05 20:38:40 | × | burnsidesLlama quits (~burnsides@client-8-91.eduroam.oxuni.org.uk) (Ping timeout: 258 seconds) |
| 2021-08-05 20:43:05 | → | jackdk joins (sid373013@cssa/jackdk) |
| 2021-08-05 20:45:50 | × | shailangsa quits (~shailangs@host86-186-142-59.range86-186.btcentralplus.com) () |
| 2021-08-05 20:46:48 | × | euouae quits (~euouae@user/euouae) (Quit: Client closed) |
| 2021-08-05 20:47:54 | → | mjs2600 joins (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2021-08-05 20:48:47 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 2021-08-05 20:48:47 | × | nvmd quits (~nvmd@user/nvmd) (Quit: Later, nerds.) |
| 2021-08-05 20:50:46 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-05 20:53:16 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-05 20:53:22 | → | econo joins (uid147250@user/econo) |
| 2021-08-05 20:53:43 | → | kristjansson_ joins (sid126207@tinside.irccloud.com) |
| 2021-08-05 20:53:55 | → | bbhoss joins (sid18216@tinside.irccloud.com) |
| 2021-08-05 20:54:26 | → | seydar joins (~seydar@154-27-113-252.starry-inc.net) |
| 2021-08-05 20:56:24 | <seydar> | Ord is a class. A class defines a type. Ordering is a datatype. It is NOT an instance of the class. What is the word I should use to describe the relationship between a datatype and a class? |
| 2021-08-05 20:56:49 | <dsal> | A class does not define a type. |
| 2021-08-05 20:57:29 | <seydar> | How should I describe the relationship between a class and a type? |
| 2021-08-05 20:57:30 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-08-05 20:58:08 | <dsal> | Classes specify constraints. If you have a type variable `a` then that basically means any type might be possible. A class constraint reduces the possible values of `a`. |
| 2021-08-05 20:59:00 | <seydar> | Is this better? "Ord is a class. A class constrains a type." |
| 2021-08-05 20:59:35 | <dsal> | It's better, but it's slightly akward. A class is a constraint. |
| 2021-08-05 20:59:38 | → | nvmd joins (~nvmd@user/nvmd) |
| 2021-08-05 20:59:41 | <dsal> | % :k Ord |
All times are in UTC.