Skip to content
GitLab
Explore
Sign in
Register
Research
Automata
Repository
automata
Data
Automata.idr
Find file
Blame
History
Permalink
Initial commit
· 403a2d21
eisfunke
authored
Aug 02, 2018
403a2d21