repos / INblobs / commit
summary | shortlog | log | tree | commit | commitdiff | headdiff
unified | plain | darcs
Reduction
authorMiguel Vilaca <jmvilaca@di.uminho.pt>
local dateFri, 07 Apr 2006 18:52:49
dateFri, 07 Apr 2006 17:52:49
hash20060407175249-970b1-f4bfe73962a5478ec031dc9d6bd5aa86f0f5a165
Reduction

This adds the interpreter;
- interactive one step reduction
- full reduction
- reduction step-by-step
8 file(s) changed:
INblobs.exe (binary) diff | history | annotate
Makefile +17 -0 diff | history | annotate
index.html +6 -7 diff | history | annotate
src/ContextMenu.hs +8 -2 diff | history | annotate
src/GUIEvents.hs +26 -3 diff | history | annotate
src/INReduction.hs [added] diff | history | annotate
src/NetworkUI.hs +31 -3 diff | history | annotate
src/State.hs +20 -0 diff | history | annotate
Crece desde el pueblo el futuro / crece desde el pie