1
Fork 0

Commit graph

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