| 5 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
|
| 6 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
|
