Skip to content

v0.12

Compare
Choose a tag to compare
@let-def let-def released this 30 Mar 12:13
· 22 commits to master since this release

CHANGES:

Balmap: alternative to Stdlib Maps and Sets based on baltree.
Dbseq: fast sequence datastructure for DeBruijn-indexed environments.
State elimination: convert e-NFA to regular expressions.

Fixed many bugs in and increased expressiveness of Valmari implementation.