pfeodrippe/tla-edn

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

语言：Clojure · GitHub 星标：16 · Fork：1

在 GitHub 上查看原仓库