Sun, 22 Dec 2024 14:54:46 -0500 | Tuomo Valkonen | Extra reflexivity and hilbert-like requirements for Euclidean. Fuse Dot into Euclidean. | file | diff | annotate |
Sun, 20 Oct 2024 23:53:43 -0500 | Tuomo Valkonen | Simplify iterate facility for-loop mechanism | file | diff | annotate |
Tue, 01 Nov 2022 09:24:45 +0200 | Tuomo Valkonen | Multithreaded bisection tree operations | file | diff | annotate |
Sat, 22 Oct 2022 14:40:28 +0300 | Tuomo Valkonen | Improve documentation | file | diff | annotate |
Sat, 22 Oct 2022 13:47:15 +0300 | Tuomo Valkonen | Initialise new clean repository | file | diff | annotate |