Jacques Carette
Jacques Carette
See email for notes on Chapter 2.
And email sent for Chapter 3 as well.
The problem with a principled solution to line breaking is indeed the (non-) availability of paper width and font information. Deep inside TeX, this is available, but it's just too...
Unfortunately I think that line-breaking is way beyond Drasil. It requires information that is simply not available to Drasil.
What version of Haskell are you using?
Thank you @yuriy0. I'll try to run the Haskell tests before I close this one.
The two outer split of the `` are the same - doesn't that mean that they could be merged?
One can always 'split' a `Partition` into having more cases (still disjoint and complete) but with the same body. That makes joining partitions (such as these) easy.
I case it wasn't clear, this is a bug that shows up when Hakaru tries to parse Maple output. It might be that this issue has been taken care of,...
I disagree with the very last part: Haskell-Hakaru needs to be able to have access to a Maple which operates in a predictable, reliable way. In other words just the...