Geeks
jkoppel
/
ecta
Primary Language
Haskell
BSD 3-Clause "New" or "Revised" License
BSD-3-Clause
ecta GitHub
Markdown
Readme
1
Issue
21
Stargazers
6
Watchers
ecta: A library for Equality-Constrained Tree Automata