Skip to content

GitLab

Explore

Sign in

A

Automata

Project information

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

5 Commits
1 Branch
0 Tags

README

Created on

September 23, 2019

Loading