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

README.md

Automata

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