Stuff for automata (DFA, NFA, ε-NFA) written in Idris.
Nevar pievienot vairāk kā 25 tēmas Tēmai ir jāsākas ar burtu vai ciparu, tā var saturēt domu zīmes ('-') un var būt līdz 35 simboliem gara.
Nicolas Lenz 56ab21640d Refactoring, get rid of graph stuff 5 mēnešus atpakaļ
Data Refactoring, get rid of graph stuff 5 mēnešus atpakaļ
.gitignore Initial commit 6 mēnešus atpakaļ
Main.idr Refactoring, get rid of graph stuff 5 mēnešus atpakaļ
README.md Add readme 6 mēnešus atpakaļ

README.md

Automata

Stuff for automata (DFA, NFA, ε-NFA) written in Idris.