Logs: liberachat/#haskell
| 2021-06-18 15:59:17 | <hrnz> | set* |
| 2021-06-18 15:59:34 | × | lechner quits (~lechner@letbox-vps.us-core.com) (Changing host) |
| 2021-06-18 15:59:34 | → | lechner joins (~lechner@debian/lechner) |
| 2021-06-18 16:00:10 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-18 16:01:29 | <janus> | is there a way that i can set a preprocessor flag if a C header contains a symbol? i imagine i'll have to use a custom Setup.hs build script? |
| 2021-06-18 16:01:31 | <Guest9> | is it same as m choose n? |
| 2021-06-18 16:01:58 | × | dhouthoo quits (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.1) |
| 2021-06-18 16:02:14 | × | lbseale quits (~lbseale@user/ep1ctetus) (Ping timeout: 252 seconds) |
| 2021-06-18 16:02:28 | <hrnz> | if you have a little knowledge of group theory, the orbit stabiliser theorem gives you some nice intuition |
| 2021-06-18 16:02:51 | → | mousey joins (~skymouse@gateway/tor-sasl/mousey) |
| 2021-06-18 16:02:58 | × | juhp quits (~juhp@128.106.188.66) (Quit: juhp) |
| 2021-06-18 16:03:01 | <hrnz> | n!/m!(n-m)! is n choose m. |
| 2021-06-18 16:03:06 | × | dhil quits (~dhil@195.213.192.47) (Ping timeout: 240 seconds) |
| 2021-06-18 16:03:12 | → | juhp joins (~juhp@128.106.188.66) |
| 2021-06-18 16:03:18 | <dminuoso> | janus: Yes. |
| 2021-06-18 16:03:37 | <dminuoso> | janus: A random example of how that might look is https://github.com/cdepillabout/termonad/blob/f2ae93c84afd83d24cc276a802099909dafc4d72/Setup.hs#L120 |
| 2021-06-18 16:04:25 | <janus> | very cool, thank you. i wonder whether i could just have two packages, then the one with the common subset of functionality can stay with a Simple build |
| 2021-06-18 16:04:39 | × | andreas303 quits (andreas303@ip227.orange.bnc4free.com) (Remote host closed the connection) |
| 2021-06-18 16:04:43 | <hrnz> | the symmetric group on n letters acts transitively on the set of m-element subsets. The stabilisers of that actions are direct products of S_m and S_{n-m} (you can freely permute the elements in your subsets and those not in your subset) |
| 2021-06-18 16:05:10 | → | andreas3- joins (andreas303@ip227.orange.bnc4free.com) |
| 2021-06-18 16:05:41 | <dminuoso> | janus: Sure, that sounds like it would work. |
| 2021-06-18 16:05:56 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-06-18 16:06:56 | × | Morrow quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Read error: Connection reset by peer) |
| 2021-06-18 16:07:17 | × | Bartosz quits (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-18 16:08:13 | → | Morrow joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-06-18 16:12:32 | × | azeem quits (~azeem@176.200.249.255) (Read error: Connection reset by peer) |
| 2021-06-18 16:13:06 | → | dhil joins (~dhil@195.213.192.47) |
| 2021-06-18 16:13:16 | → | azeem joins (~azeem@dynamic-adsl-78-13-238-239.clienti.tiscali.it) |
| 2021-06-18 16:13:21 | × | derelict quits (~derelict@user/derelict) (Quit: WeeChat 3.2) |
| 2021-06-18 16:13:50 | → | derelict joins (~derelict@user/derelict) |
| 2021-06-18 16:13:57 | <Guest9> | what is the key word for 23 combination is allowed while 32 not allowed likewise 213 is counted but not 123 or 321? |
| 2021-06-18 16:15:08 | × | fabfianda quits (~fabfianda@net-93-148-121-206.cust.dsl.teletu.it) (Ping timeout: 268 seconds) |
| 2021-06-18 16:15:21 | <Guest9> | i mean any one of (23,32) (213,123,321,231,132,213) |
| 2021-06-18 16:16:14 | → | warnz joins (~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7) |
| 2021-06-18 16:16:37 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-18 16:17:26 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-18 16:17:36 | × | idnar quits (sid12240@id-12240.tooting.irccloud.com) (Changing host) |
| 2021-06-18 16:17:36 | → | idnar joins (sid12240@debian/mithrandi) |
| 2021-06-18 16:17:56 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-18 16:18:53 | <pavonia> | Guest9: Doesn't "combination" already imply that order doesn't matter? |
| 2021-06-18 16:19:18 | <Guest9> | checking wiki/dictionary for combinaton |
| 2021-06-18 16:19:35 | fendor__ | is now known as fendor |
| 2021-06-18 16:20:36 | <Guest9> | yes |
| 2021-06-18 16:20:55 | <pavonia> | :) |
| 2021-06-18 16:20:56 | → | fabfianda joins (~fabfianda@net-93-148-121-206.cust.dsl.teletu.it) |
| 2021-06-18 16:22:12 | → | nvmd joins (~nvmd@user/nvmd) |
| 2021-06-18 16:22:25 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 268 seconds) |
| 2021-06-18 16:22:39 | × | andreas3- quits (andreas303@ip227.orange.bnc4free.com) (Remote host closed the connection) |
| 2021-06-18 16:22:51 | → | andreas303 joins (andreas303@ip227.orange.bnc4free.com) |
| 2021-06-18 16:23:18 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-06-18 16:23:42 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-18 16:28:55 | <zzz> | still no tunes-like logging? |
| 2021-06-18 16:29:09 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-18 16:33:03 | <janus> | how do i use a function that returns "Q Exp" . i know i can use [Shakespeare.Text.text| ...] to use `text`. But how to use `textFile`? |
| 2021-06-18 16:34:08 | <janus> | ooh is it $( ... ) syntax |
| 2021-06-18 16:34:12 | <c_wraith> | yes |
| 2021-06-18 16:34:33 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-18 16:34:52 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-06-18 16:36:34 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-18 16:38:40 | × | fendor quits (~fendor@e254-166.eduroam.tuwien.ac.at) (Remote host closed the connection) |
| 2021-06-18 16:39:47 | → | fendor joins (~fendor@e254-166.eduroam.tuwien.ac.at) |
| 2021-06-18 16:42:28 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-18 16:42:51 | × | mjs2600 quits (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-06-18 16:44:08 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2021-06-18 16:44:10 | → | mjs2600 joins (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2021-06-18 16:46:38 | × | fef quits (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2021-06-18 16:51:12 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-18 16:51:47 | → | AgentM joins (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) |
| 2021-06-18 16:51:57 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2021-06-18 16:51:58 | → | fendor__ joins (~fendor@e232-108.eduroam.tuwien.ac.at) |
| 2021-06-18 16:52:55 | fluffyballoon | is now known as stickybearloon |
| 2021-06-18 16:54:16 | stickybearloon | is now known as fluffyballoon |
| 2021-06-18 16:54:25 | × | fendor quits (~fendor@e254-166.eduroam.tuwien.ac.at) (Ping timeout: 244 seconds) |
| 2021-06-18 16:56:36 | × | warnz quits (~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7) (Remote host closed the connection) |
| 2021-06-18 16:57:08 | → | warnz joins (~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7) |
| 2021-06-18 16:57:34 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 268 seconds) |
| 2021-06-18 16:58:09 | × | andreas303 quits (andreas303@ip227.orange.bnc4free.com) (Remote host closed the connection) |
| 2021-06-18 16:58:34 | → | andreas303 joins (andreas303@ip227.orange.bnc4free.com) |
| 2021-06-18 16:59:19 | → | jim` joins (~user@host-79-78-246-49.static.as9105.net) |
| 2021-06-18 16:59:25 | × | derelict quits (~derelict@user/derelict) (Ping timeout: 268 seconds) |
| 2021-06-18 17:01:03 | → | Hanicef joins (~gustaf@81-229-9-108-no92.tbcn.telia.com) |
| 2021-06-18 17:01:39 | × | andreas303 quits (andreas303@ip227.orange.bnc4free.com) (Remote host closed the connection) |
| 2021-06-18 17:01:43 | × | warnz quits (~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7) (Ping timeout: 272 seconds) |
| 2021-06-18 17:02:03 | → | andreas303 joins (andreas303@ip227.orange.bnc4free.com) |
| 2021-06-18 17:02:39 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-18 17:05:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-18 17:06:00 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-18 17:07:24 | <monochrom> | Actually I am inclined to be pessimistic about tunes.org logs. It had stopped logging unrelated before our switch to libera. |
| 2021-06-18 17:07:37 | <monochrom> | s/unrelated/unrelatedly/ |
| 2021-06-18 17:07:49 | <jim`> | With any cabal command I get "Could not deserialize <repo>/root.json: Malformed: (line 1, column 1) unexpected end of line expecting white space or JSON value" |
| 2021-06-18 17:08:03 | × | alex3 quits (~alex3@BSN-77-82-41.static.siol.net) (Ping timeout: 268 seconds) |
| 2021-06-18 17:08:33 | <jim`> | ubuntu 20.04.2 LTS |
| 2021-06-18 17:08:59 | → | alex3 joins (~alex3@BSN-77-82-41.static.siol.net) |
| 2021-06-18 17:09:08 | × | fendor__ quits (~fendor@e232-108.eduroam.tuwien.ac.at) (Remote host closed the connection) |
| 2021-06-18 17:09:14 | <monochrom> | Does "cabal update" help? |
| 2021-06-18 17:10:31 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-06-18 17:11:12 | → | dudek joins (~dudek@185.150.236.112) |
| 2021-06-18 17:11:20 | <jim`> | any cabal command produces the same error from cabal-install-2.4.0.0 compiled with cabal-2.4.0.1 |
| 2021-06-18 17:11:34 | × | dudek quits (~dudek@185.150.236.112) (Remote host closed the connection) |
| 2021-06-18 17:11:52 | × | Guest9 quits (~Guest9@103.250.137.30) (Ping timeout: 268 seconds) |
All times are in UTC.