5 Commits (master)
 

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