kai

Thanks! I have a nice minimal example working like this: ``` λ> import Numeric.AD λ> import Numeric.AD.Jacobian λ> import Numeric.AD.Internal.Forward λ> (lift1 (\x -> x^2) (\x -> 2 * x))...

Yes, I would really appreciate if that were a feature! On Mon, Jan 20, 2020 at 3:43 PM Carter Tazio Schonwald < [email protected]> wrote: > @hypotext it is a gap,...

I'd like to be able to specify that when the autodiff hits a function with a particular name, that that function is a "leaf" of the autodiff tree, and to...

User-defined functions could also be interesting.

Thanks for the responses, all! Just want to clarify that this is not an urgent/high-priority issue, but an idea we can think about at leisure :) > The concrete next...

Also looping in issue #158 re: errors. Maybe we should update the thinking there WRT the web runtime.

Added a link to wiki homepage: https://github.com/penrose/penrose/wiki

Not off the top of my head, it's pretty core to the way that we generate code for speed. @nschloe what environment are you running the Penrose package in? Can...

Sorry for the delay! Thanks for the sources and the quotes, which look great. I'm interested in the relationship between notation and orality, specific things that specific notations enabled people...

Thanks! Are there any particular sections/quotes that you think might be a good fit for the syllabus?