Commits · master · Research / Automata

Aug 28, 2018
- Refactoring, get rid of graph stuff · 56ab2164
  Nicolas Lenz authored Aug 29, 2018
  
  56ab2164
Aug 15, 2018
- Trying out meta stuff · 5715f637
  Nicolas Lenz authored Aug 16, 2018
  
  5715f637
Aug 04, 2018
- Update Automata.idr · 30d78935
  Nicolas Lenz authored Aug 04, 2018
  
  30d78935
Aug 02, 2018
- Add readme · ca59836a
  eisfunke authored Aug 02, 2018
  
  ca59836a
- Initial commit · 403a2d21
  eisfunke authored Aug 02, 2018
  
  403a2d21