Relational deterministic finite automaton interpreter, written in miniKanren.
All code written during the 8th miniKanren Hangout on 5 May 2013:
Scheme DFA interpreter is in fsm.scm
miniKanren relational DFA interpreter is in fsm-mk.scm
webyrd/relational-dfa
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|