5 Commits (master)
 

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