1 paper · 1 filter
Julie Steele, William Byrd
We present dxo, a relational system for algebra and differentiation, written in miniKanren. dxo operates over math expressions, represented as s-expressions. dxo supports addition,…