Trevor L. McDonell

@robeverest actually `zipWithN` were originally written in terms of `map` and `zipWith` and I changed it to the current setup. From memory (fuzzy) it's easier on my poor simplifier because...

Good question r.e. Sugar.Stencil... I'm guessing that that code used to live in Smart and... *checks* wait, that code still exists in Smart. Uh, I think that was not properly...

Also there are currently no tests for `Nx1` or `1xN` stencils, so we should add those (:

This could be a problem with `aletD`. The `unzipD` rule should only fire when given a manifest array, but clearly it is being given a delayed array, so what is...

(just to clarify this is a TODO list of stuff to look at later so that I don't forget... no need to investigate now)

Interesting. Okay, that should go in a separate issue then. We'll leave that for after HS though.

```haskell t7 :: Acc (Vector Float, Vector Float) t7 = let xs = use (fromList (Z:.10) [0..]) :: Acc (Vector Float) ys = lift ( A.map (+1) xs , (...

Do you have an example or two, just in plain Haskell, of how to use this? I can't see what `b` should be here? This tool of yours sounds interesting!...

[Haskino](https://www.ittc.ku.edu/research/thesis/documents/Mark_Grebe.pdf) seems to use a GHC plugin to transform recursive functions into explicit loops; I'm not sure if it's too late to do it during sharing recovery, or just that...

Could you elaborate a bit on the use case? Who is running [data-parallel] array programs on the web? Moreover we'd need one of the real [backends](https://github.com/AccelerateHS/accelerate-llvm) as well, which means...