Ivo Gabe de Wolff

I think that will be very hard or impossible, as we only have representation types and thus cannot distinguish tuples and shapes.

A related request, can we have globally unique variable names? That'll make it easier to reason about programs. Currently variables can occur in the left hand side of a let-binding...

The PR for accelerate-llvm is now open: AccelerateHS/accelerate-llvm#68

@robbert-vdh Could we improve the callstack of those new functions with HasCallStack?

We just discussed in our meeting that we should also add Assertion instances for: - `Acc (Scalar Bool)` - `Acc a -> Exp Bool` - `Acc a -> Acc (Scalar...

I added the option to use functions for assertions, for instance: ``` condition :: A.Acc (A.Vector Int) -> A.Acc (A.Scalar Bool) condition = A.all (A.>= 0) a :: A.Acc (A.Vector...

Contrary to tsc, we must always set `rootDir` in gulp-typescript to work with the virtual file system in gulp. It's inferred from the input stream (e.g. from `gulp.src`) but if...

Hi Max, thanks for your PR. Sorry, I have not yet had time to look at your work, O hope to do that this evening or tomorrow.

Hi Max, have you had time to look into this? Or shall I proceed with this work?

No problem, I also had some other things to do. No hurries, would be great if you could make some time next Sunday!