Open noughtmare opened 3 weeks ago
Our work on specifying languages is in large part based on Conal Elliot's paper on automatic and symbolic differentiation of languages.
Our work on specifying languages is in large part based on Conal Elliot's paper on automatic and symbolic differentiation of languages.