Chris Denniston

I just realized I'm a dingus and couldn't get the applicative tests to run becuase I never gave the functions a type constraint.

We're good now

The problem I was having was generating Arbitrary matricies of functions. I suppose I could write a custom instance

well that's a lot easier than what i was doing

I'm getting a weird error where it's saying that (Int -> Int) isn't showable

I went ahead and wrote a dummy instance of show for (Int->Int). This required turning on flexible instances in the testing source but it shouldn't be an issue since it's...

Keep matrices 1 indexed. Just put it more clearly in the documentation for us computer scientists.

Any proposals as to what it's changed to?

Seems like the best alternative (no pun intended) I did some Googling and couldn't find a better looking operator. Would we change the vertical join?

Yeah, the fact that we can't really come up with a good operator makes me think that concatenation isn't really worth an operator. I think your suggestion of above and...