research
/
automata
Watch 1
Star 0
Fork 0
Code Issues 0 Pull Requests 0 Releases 0 Wiki Activity
5 Commits
1 Branch
Branch: master
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from 'master'
${ noResults }
Commit Graph

5 Commits (master)
 

Author SHA1 Message Date
  Nicolas Lenz 56ab21640d Refactoring, get rid of graph stuff 7 months ago
  Nicolas Lenz 5715f63746 Trying out meta stuff 8 months ago
  Nicolas Lenz 30d78935c8 Update Automata.idr 8 months ago
  Nicolas Lenz ca59836a7d
Add readme 8 months ago
  Nicolas Lenz 403a2d2179
Initial commit 8 months ago