3 months ago | Tuomo Valkonen | Extra reflexivity and hilbert-like requirements for Euclidean. Fuse Dot into Euclidean. | file | diff | annotate |
5 months ago | Tuomo Valkonen | Simplify iterate facility for-loop mechanism | 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 |