Changelog of @hackage/language-toolkit 1.2.0.1

Changelog

commonPrefix and commonSuffix functions on automata
isDot1 (dot depth at most one)
syntacticSemigroup (interfacing with finite-semigroups)
syntacticOMonoid, syntacticOSemigroup (ordered monoid or semigroup)
isVarietyS (ordered varities from finite-semigroups)
plebby:
- new, more detailed :help system
- strict order (.∙.(x,y) asserts start of x precedes start of y)
- Ctrl+C interrupts handled, abort current computation

algebraic tools split and expanded in a new package (finite-semigroups)
plebby:
- inequalities supported in :isVarietyM/S/T for order
- better error messages
- bugfix: two-expression commands no longer break on "it"
many classification tasks now use semigroups from finite-semigroups
bugfix: trimUnreachables handles epsilon-edges and avoids recomputation

preliminary French translation of manual pages
basic Emacs mode for syntax highlighting
classification procedures
- isAcom (aperiodic and commutative)
- isLAcom (locally isAcom)
- isFO2BF (two-variable FO with betweenness of factors)
- isVariety (Plebby has one command each for *, +, and tier)
- isMTF, isMTDef, isMTRDef, isMTGD (simple multitier classes)
Porters
- egg-box diagrams
- graphs of syntactic orders
Pleb syntax
- empty variadics
- reversal (⇄)
- upward closures (↑, or loopify in the library)
- shuffle products (⧢ or autShuffle in the library)
- symbol neutralization (|syms|, or neutralize in the library)
- nonempty iteration (+e equivalent to @(e,*e))
Plebby commands
- :cequal and :cimplies to account for the semantics
- :eggbox (display the egg-box)
- :synord (display syntactic order)
Plebby configuration file

AT&T import and export LTK.Porters.ATT
prefix-tree import from corpus LTK.Porters.Corpus
string-extension learners LTK.Learn.*
more plebby commands
- AT&T import and export :readATT, :readATTO, :writeATT
- learners :learnSL, :learnSP, :learnTSL