Stuff for automata (DFA, NFA, ε-NFA) written in Idris.
您最多选择25个主题 主题必须以字母或数字开头,可以包含连字符 (-),并且长度不得超过35个字符
Nicolas Lenz 56ab21640d Refactoring, get rid of graph stuff 10 个月前
Data Refactoring, get rid of graph stuff 10 个月前
.gitignore Initial commit 10 个月前
Main.idr Refactoring, get rid of graph stuff 10 个月前
README.md Add readme 10 个月前

README.md

Automata

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