repos / INblobs / commit
summary | shortlog | log | tree | commit | commitdiff | headdiff
unified | plain | darcs
Valid IN System
authorMiguel Vilaca <jmvilaca@di.uminho.pt>
local dateMon, 30 Jul 2007 16:23:27
dateMon, 30 Jul 2007 15:23:27
hash20070730152327-970b1-3f4fcb435626f4593245c87dfc2057da2dfaa726
Valid IN System

Checks if a document is a valid Interaction Nets System.
3 file(s) changed:
Makefile +2 -0 diff | history | annotate
src/INChecks.hs +302 -1 diff | history | annotate
src/INRule.hs +10 -2 diff | history | annotate
Crece desde el pueblo el futuro / crece desde el pie