Open subttle opened 5 years ago
Ideally this class should require only toGraph, initial, and final functions.
toGraph
initial
final
Also it might be nice to make empty, epsilon, literal, fromSet, etc. into part of some class using an existential type variable for q, but perhaps this should be another separate issue.
empty
epsilon
literal
fromSet
q
Ideally this class should require only
toGraph
,initial
, andfinal
functions.