[ bsd3, library, program, unclassified ] [ Propose Tags ]
Versions [RSS],,, (info)
Change log
Dependencies array, base (>=4.13 && <5), cmdargs, containers, ecta, equivalence (>=0.4.1), extra, fgl, hashable, hashtables, ilist, intern, language-dot (==0.1.1), lens, mtl, pipes, pretty-simple, raw-strings-qq, text, time, unordered-containers, vector, vector-instances [details]
License BSD-3-Clause
Copyright 2021 Jimmy Koppel
Author Jimmy Koppel
Home page
Bug tracker
Source repo head: git clone
Uploaded by zhg at 2022-07-27T00:35:54Z
Reverse Dependencies 1 direct, 0 indirect [details]
Executables hectare
Downloads 241 total (11 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2022-07-27 [all 1 reports]

Readme for ecta-

[back to package description]

ecta: A library for Equality-Constrained Tree Automata