Implementing DFAs (deterministic finite automata) and NFAs (nondeterministic finite automata using core.logic and writing macros to automatically do so. This was an exercise in logic programming and macros.
You will need Leiningen 2.0 or above installed.
Right now, there is no main function - use in the REPL.
Copyright © 2013 Rupa Shankar