Commits · master · Research and Education / Automata

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