Paulo Rafael Feodrippe
Results
6
repositories owned by
Paulo Rafael Feodrippe
tla-edn
17
Stars
1
Forks
Watchers
A small library to help writing TLA+ operators in Clojure and converting TLA+ (TLC) values to/from EDN