Sun, 22 Dec 2024 14:54:46 -0500 Tuomo Valkonen Extra reflexivity and hilbert-like requirements for Euclidean. Fuse Dot into Euclidean. dev file | diff | annotate
Tue, 31 Dec 2024 09:02:55 -0500 Tuomo Valkonen More convexity, normed spaces, etc. dev file | diff | annotate
Tue, 31 Dec 2024 08:30:02 -0500 Tuomo Valkonen Significantly simplify Mapping / Apply through Instance dev file | diff | annotate
Mon, 31 Jul 2023 13:35:06 +0300 Tuomo Valkonen typofix dev file | diff | annotate
Tue, 25 Oct 2022 23:05:40 +0300 Tuomo Valkonen Added NormExponent trait for exponents of norms unthreaded 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
(0) tip

mercurial