4 months ago Tuomo Valkonen Extra reflexivity and hilbert-like requirements for Euclidean. Fuse Dot into Euclidean. dev file | diff | annotate
4 months ago Tuomo Valkonen Significantly simplify Mapping / Apply through Instance dev file | diff | annotate
5 months ago Tuomo Valkonen Some Differentiable simplifications and clarifications dev file | diff | annotate
2023-04-28 Tuomo Valkonen Rename Differentiate → Differentiable dev file | diff | annotate
2023-04-28 Tuomo Valkonen Implement Differentiate for BTFN dev file | diff | annotate
2022-11-19 Tuomo Valkonen Better Linear and Mapping structure that can provide consuming and reference `apply`. file | diff | annotate
2022-11-18 Tuomo Valkonen Improvements and minor fixes to bisection tree refinement. file | diff | annotate
2022-11-01 Tuomo Valkonen Multithreaded bisection tree operations file | diff | annotate
2022-10-22 Tuomo Valkonen Improve documentation file | diff | annotate
2022-10-22 Tuomo Valkonen Initialise new clean repository file | diff | annotate
(0) tip

mercurial