ret/specifica

Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)

语言：Haskell · GitHub 星标：27 · Fork：2

话题：haskell · haskell-libraries · mit-license · parser · specifications · tlaplus

在 GitHub 上查看原仓库