7 ms·
Not formal verification, but you can specify and validate application state of SPAs written in clojurescript using clojure.spec(https://clojure.org/about/spec h
by abhirag 9y ago
Not formal verification, but you can specify and validate application state of SPAs written in clojurescript using clojure.spec(https://clojure.org/about/spec https://clojure.org/about/spec).
Example -- (https://github.com/Day8/re-frame/blob/master/examples/todomvc/src/todomvc/db.cljs https://github.com/Day8/re-frame/blob/master/examples/todomv...)