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 10 mēnešus atpakaļ
Data Refactoring, get rid of graph stuff 10 mēnešus atpakaļ
.gitignore Initial commit 10 mēnešus atpakaļ
Main.idr Refactoring, get rid of graph stuff 10 mēnešus atpakaļ
README.md Add readme 10 mēnešus atpakaļ

README.md

Automata

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