Logs: freenode/#haskell
| 2020-10-21 12:56:47 | → | GyroW joins (~GyroW@d54C03E98.access.telenet.be) |
| 2020-10-21 12:56:47 | × | GyroW quits (~GyroW@d54C03E98.access.telenet.be) (Changing host) |
| 2020-10-21 12:56:48 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 2020-10-21 12:57:01 | × | notnatebtw quits (~nate@110.138.18.157) (Client Quit) |
| 2020-10-21 12:57:23 | → | hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 2020-10-21 12:57:28 | → | notnatebtw joins (~nate@110.138.18.157) |
| 2020-10-21 13:04:12 | × | notnatebtw quits (~nate@110.138.18.157) (Quit: WeeChat 2.9) |
| 2020-10-21 13:04:33 | → | notnatebtw joins (~nate@110.138.18.157) |
| 2020-10-21 13:08:29 | → | Sanchayan joins (~Sanchayan@122.181.211.206) |
| 2020-10-21 13:09:38 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2020-10-21 13:11:33 | → | Deide joins (~Deide@217.155.19.23) |
| 2020-10-21 13:11:55 | <hyperisco> | wher am I supposed to put my cradle config? I have it in the root of my project and the IDE does not find it |
| 2020-10-21 13:12:04 | × | shafox quits (~shafox@106.51.234.111) (Ping timeout: 256 seconds) |
| 2020-10-21 13:13:04 | <Uniaika> | ah well that's a proble |
| 2020-10-21 13:13:06 | <Uniaika> | *problem |
| 2020-10-21 13:13:25 | <Uniaika> | hyperisco: note that if you don't require anything fancy/weird, the new HLS uses implicit-hie to generate a cradle config for you |
| 2020-10-21 13:14:12 | <hyperisco> | I keep getting warnings over and over that it is using implicit cradle |
| 2020-10-21 13:14:16 | <hyperisco> | I just want those warnings to go away |
| 2020-10-21 13:17:48 | → | shafox joins (~shafox@106.51.234.111) |
| 2020-10-21 13:19:14 | × | carlomagno1 quits (~cararell@148.87.23.6) (Remote host closed the connection) |
| 2020-10-21 13:22:31 | <ixlun> | [exa]: Yeah I may paste it on here at some point when it's ready. It probably won't fit into a paste bin though; I've got it up on GitHub |
| 2020-10-21 13:23:57 | × | Buntspecht quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 2020-10-21 13:24:31 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-21 13:24:39 | <[exa]> | even links to github projects got good comments (biased by the readme&docs though :] ) |
| 2020-10-21 13:24:53 | <[exa]> | btw what's the project about? |
| 2020-10-21 13:25:34 | <ixlun> | It's a chess engine - I've been working on it for about a month |
| 2020-10-21 13:25:58 | <ixlun> | I've just got it to the point where I can now play against it |
| 2020-10-21 13:26:18 | <ixlun> | I'm now looking at trying to improve it's strength |
| 2020-10-21 13:26:27 | × | kritzefitz quits (~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection) |
| 2020-10-21 13:28:19 | <hyperisco> | just had the thought this morning that programs have more interesting terms than types because programs are more interested in how than what |
| 2020-10-21 13:28:45 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2020-10-21 13:28:47 | <[exa]> | hyperisco: you need how-types |
| 2020-10-21 13:29:04 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 256 seconds) |
| 2020-10-21 13:29:09 | <[exa]> | ixlun: that's cool, what kind of AI is there? |
| 2020-10-21 13:29:23 | × | nyaomi quits (~naomi@cpe-74-75-6-125.maine.res.rr.com) (Excess Flood) |
| 2020-10-21 13:29:40 | <[exa]> | (need to disappear for ~2 hours, teaching) |
| 2020-10-21 13:29:52 | → | knupfer joins (~Thunderbi@200116b82c30ba006c535bfffe9504ba.dip.versatel-1u1.de) |
| 2020-10-21 13:29:53 | × | knupfer quits (~Thunderbi@200116b82c30ba006c535bfffe9504ba.dip.versatel-1u1.de) (Client Quit) |
| 2020-10-21 13:30:00 | <ixlun> | For now just alpha-beta search |
| 2020-10-21 13:30:08 | <ixlun> | cool, have fun! |
| 2020-10-21 13:30:09 | → | knupfer joins (~Thunderbi@i59F7FF96.versanet.de) |
| 2020-10-21 13:31:27 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-10-21 13:31:27 | <hyperisco> | we need what-programs |
| 2020-10-21 13:31:48 | <hyperisco> | though they wouldn't really be programs |
| 2020-10-21 13:31:57 | → | kaychaks_riot joins (kaychaksma@gateway/shell/matrix.org/x-ytbtoyjbxfietmdi) |
| 2020-10-21 13:32:49 | → | nyaomi joins (~naomi@cpe-74-75-6-125.maine.res.rr.com) |
| 2020-10-21 13:35:09 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-21 13:36:16 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 2020-10-21 13:36:56 | × | kish quits (~oracle@unaffiliated/oracle) (Remote host closed the connection) |
| 2020-10-21 13:39:25 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2020-10-21 13:39:45 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 240 seconds) |
| 2020-10-21 13:39:56 | → | alx741 joins (~alx741@181.196.68.73) |
| 2020-10-21 13:40:34 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2020-10-21 13:41:29 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 258 seconds) |
| 2020-10-21 13:46:59 | → | GyroW_ joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 2020-10-21 13:46:59 | × | GyroW_ quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 2020-10-21 13:46:59 | → | GyroW_ joins (~GyroW@unaffiliated/gyrow) |
| 2020-10-21 13:47:14 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 258 seconds) |
| 2020-10-21 13:48:28 | → | fendor_ joins (~fendor@91.141.3.69.wireless.dyn.drei.com) |
| 2020-10-21 13:49:33 | <jophish> | Why doesn't Setup.hs seem to support v2 commands? |
| 2020-10-21 13:50:14 | <jophish> | (using defaultMain from Distribution.Simple) |
| 2020-10-21 13:50:28 | <merijn> | jophish: Because v2- is part of cabal-install, Setup.hs is not |
| 2020-10-21 13:50:36 | <merijn> | Setup.hs is part of Cabal |
| 2020-10-21 13:50:58 | × | fendor quits (~fendor@91.141.2.147.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
| 2020-10-21 13:51:00 | → | ystael joins (~ystael@209.6.50.55) |
| 2020-10-21 13:51:13 | <merijn> | IOW, that's "working as intended" |
| 2020-10-21 13:51:38 | <merijn> | jophish: Setup.hs commands don't do the same thing as the (pre-v2) cabal-install commands either |
| 2020-10-21 13:52:29 | → | waterquarks joins (b306d9a1@179.6.217.161) |
| 2020-10-21 13:52:40 | × | geekosaur quits (ac3a3eb0@172.58.62.176) (Remote host closed the connection) |
| 2020-10-21 13:52:56 | × | elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 2020-10-21 13:53:16 | → | elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) |
| 2020-10-21 13:53:24 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2020-10-21 13:53:45 | × | waterquarks quits (b306d9a1@179.6.217.161) (Remote host closed the connection) |
| 2020-10-21 13:54:58 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-21 13:55:28 | → | Sgeo joins (~Sgeo@ool-18b982ad.dyn.optonline.net) |
| 2020-10-21 13:56:55 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2020-10-21 13:56:57 | hackage | effet 0.3.0.2 - An Effect System based on Type Classes https://hackage.haskell.org/package/effet-0.3.0.2 (MichaelSzvetits) |
| 2020-10-21 13:57:41 | → | carlomagno joins (~cararell@148.87.23.9) |
| 2020-10-21 13:59:37 | × | xff0x quits (~fox@2001:1a81:529c:a900:daf5:f598:3241:4d8d) (Ping timeout: 272 seconds) |
| 2020-10-21 13:59:44 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2020-10-21 14:00:04 | → | xff0x joins (~fox@2001:1a81:529c:a900:6b08:6f66:959:4c93) |
| 2020-10-21 14:01:17 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds) |
| 2020-10-21 14:01:59 | <jophish> | so I'm finding out! |
| 2020-10-21 14:02:04 | <jophish> | thanks, merijn |
| 2020-10-21 14:03:42 | → | Plantain joins (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) |
| 2020-10-21 14:03:47 | × | acidjnk_new2 quits (~acidjnk@p200300d0c7237831d40d0866fc0488e0.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2020-10-21 14:05:08 | <merijn> | jophish: You should probably just use cabal-install unless you have a very good reason not too :p |
| 2020-10-21 14:05:30 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-21 14:05:33 | → | coot joins (~coot@37.30.52.15.nat.umts.dynamic.t-mobile.pl) |
| 2020-10-21 14:06:49 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2020-10-21 14:06:56 | → | acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 2020-10-21 14:07:10 | × | Iwawa quits (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 258 seconds) |
| 2020-10-21 14:07:14 | × | bitmapper quits (uid464869@gateway/web/irccloud.com/x-vawwmlggjqdnzjxh) (Quit: Connection closed for inactivity) |
| 2020-10-21 14:07:22 | <jophish> | merijn: this is taking place inside a nix derivation, where cabal-install is not available |
| 2020-10-21 14:08:57 | → | texasmynsted joins (~texasmyns@104.140.52.83) |
| 2020-10-21 14:09:16 | <merijn> | ah |
| 2020-10-21 14:09:16 | × | stefan-__ quits (~cri@42dots.de) (Read error: Connection reset by peer) |
| 2020-10-21 14:09:32 | → | texasmyn_ joins (~texasmyns@104.140.52.83) |
| 2020-10-21 14:09:40 | → | stefan-__ joins (~cri@42dots.de) |
| 2020-10-21 14:09:41 | × | texasmynsted quits (~texasmyns@104.140.52.83) (Read error: Connection reset by peer) |
All times are in UTC.