/tla-edn

A small library to help writing TLA+ operators in Clojure and converting TLA+ (TLC) values to/from EDN

Primary LanguageClojureOtherNOASSERTION

Watchers