3 ms·
tests/theorem-rand.scm is beautiful! e.g. theorem vec-zip ∀ v ∊ (Vector-of Short) (vector-zip + v v) = (vector-map (λ (x) (* x 2))
by rurban 2y ago
tests/theorem-rand.scm is beautiful!
e.g.
theorem vec-zip
∀ v ∊ (Vector-of Short)
(vector-zip + v v) = (vector-map (λ (x) (* x 2)) v)