continued refactoring nfaToDfa
continued refactoring nfaToDfa

Using List.app: ('a -> unit) -> 'a list -> unit is a much more concise
way of iterating over a list than incrementing local refs in a while
loop; the inner loop over the elements of the alphabet is easily
replaced in this way.

spacemanaki/lexluthor