Jimmy Koppel
Jimmy Koppel
+1 to this.
I am also running into this. Also, today is the deadline for ICFP artifact evaluation, which makes this particularly dastardly.
``` artifact@artifact:~/derive-cfg-master$ stack setup Cabal file info not found for monadIO-0.11.1.0, updating Selected mirror https://hackage.haskell.org/ Downloading timestamp Downloading snapshot Downloading mirrors Verification error: /mirrors.json is expired Downloading root Waiting to...
The machine I was working on has been taken down, but I both had a fresh install of Stack and had run stack upgrade. (Although I don't remember if `stack...
Correction: ECTAs are a new data structure and constraint solver for enumerative program synthesis, available from https://hackage.haskell.org/package/ecta . The tool is Hectare. I failed one of the goals of the...
Hi Alec, Here's the Essentials package: https://github.com/cubix-framework/cubix/blob/master/src/Cubix/Essentials.hs And here's the Haddock: https://s3.amazonaws.com/www.cubix-framework.com/docs/cubix-0.5.0.0/Cubix-Essentials.html
What's blocking this from getting merged?
Very good work! With all this AI code imported, how did you test it? What's next?
@gandalfgray For your original patch, how did you test it?
@drrckln Should we do anything?