Rob Zinkov

Ok, I think this is due to the stack lts release in our config not having the latest version of repline. I got the following warning: Downloaded ghc-tinfo6-8.6.4. rts-1.0: Warning:...

@PoorvaGarg Did that fix things?

@PoorvaGarg I think you tried to install this while Github was itself not working well. Did you try again later?

There is a tools/ directory in the repo for vim and emacs syntax highlighting. It would be marvellous if it was added there! On Wed, Apr 25, 2018, 23:46 Jacques...

Hello @maymoo99 ! So I don't see anything wrong with what the tests are doing. Simplify will inline function calls, which is basically what it did. You can check this...

I have an inkling. I think expected and got are both being passed to Simplify. I haven't traced where but that's what I'm investigating. On Thu, Apr 19, 2018, 17:58...

I'm still trying to trace the code. Was my hunch that both programs are being passed to Simplify correct?

I think if we want the other definitions, we should make an import mechanism. @ccshan has some concerns about it being hygenic, so anybody that wants to try it should...

From my own notes from chatting with @ccshan about this suggest whatever solution we have provide 1. Capture-avoiding substitution I don't know if that is the right term. Basically `baz.hk`...

So something like `foo.hk` does give me an error, but the following is a perfectly valid program ````python def sin(x real): cos(x) sin(5) ```` I think we are in broad...