Stuff for automata (DFA, NFA, ε-NFA) written in Idris.
選択できるのは25トピックまでです。 トピックは、先頭が英数字で、英数字とダッシュ('-')を使用した35文字以内のものにしてください。
Nicolas Lenz 56ab21640d Refactoring, get rid of graph stuff 5ヶ月前
Data Refactoring, get rid of graph stuff 5ヶ月前
.gitignore Initial commit 6ヶ月前
Main.idr Refactoring, get rid of graph stuff 5ヶ月前
README.md Add readme 6ヶ月前

README.md

Automata

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