repos / INblobs / commit
summary | shortlog | log | tree | commit | commitdiff | headdiff
unified | plain | darcs
Standard reduction stragies system
authorMiguel Vilaca <jmvilaca@di.uminho.pt>
local dateTue, 06 Feb 2007 14:42:35
dateTue, 06 Feb 2007 14:42:35
hash20070206144235-970b1-29aa928f8b4ef5f64c961df02d575ff9fbeb8b62
Standard reduction stragies system

Allow for a much simpler an concise implementation of
new reduction strategies.
5 file(s) changed:
Makefile +13 -7 diff | history | annotate
src/INReduction.hs +45 -102 diff | history | annotate
src/INReductionStrategies.hs [added] diff | history | annotate
src/NetworkUI.hs +81 -40 diff | history | annotate
src/State.hs +17 -3 diff | history | annotate
Crece desde el pueblo el futuro / crece desde el pie