Commit Graph

  • 69c37a179a Added more code about searchability, and added more comments master Joshua Moerman 2012-11-14 11:26:07 +0100
  • ea18c145c1 another example Joshua Moerman 2012-10-27 22:20:12 +0200
  • e5bcd02578 Removed the sem functions, replaced them with a general one. Joshua Moerman 2012-10-27 19:57:10 +0200
  • b5e9aca237 Added Automata :D Joshua Moerman 2012-10-27 17:15:56 +0200
  • b26e5d4b5b First simple thing of coalgebra Joshua Moerman 2012-10-27 15:34:14 +0200