Chung-chieh Shan
Chung-chieh Shan
Given that we currently have no way in (concrete) Hakaru to express an array full of bounded `nat`s, it is essential that this enhancement to `getType` take into account all...
Here's my rough reason to not check if an index is valid: it's natural for a programmer to write something like `fn xs array(prob): fn i nat: ...xs[i]...`, plan to...
It is not essential to me that we do not check that the index is valid. What's essential to me is what I said to be essential above. Regarding that,...
I agree with @yuriy0's assessment. Regarding the first point, if we want pretty-printing followed by parsing to be the identity, then we shouldn't implement the rest of the first point,...
It would be a welcome improvement to add `guard` and/or `factor` to our concrete syntax, and it's not too hard to implement, just not urgent.
I understand the "quick fix" to be relaxing the condition under which the Maple simplifier allows the inert `Product` in the Hakaru input to become the reactive `product`. Before the...
Would one way to debug the difference `sum` makes be to use `printlevel:=1000` and `diff -i`?
Maybe it helps to mention that my machine has http://ftp.cs.stanford.edu/pub/Windows/HP/4550DN%20CD/FONTS/HELR45W.TTF installed whereas @samth's didn't.
Hello and thanks! Yeah I see, I managed to recover all the text from the file. Maybe saving a file from DrRacket on Windows to Google Drive was unreliable.
(I would love for the file to be loadable with only the corrupt images missing.)