repos / INblobs / commit
summary | shortlog | log | tree | commit | commitdiff | headdiff
unified | plain | darcs
Automatic transformation of lambda terms into interaction nets.***END OF DESCRIPTION***
authorDaniel Mendes <danielgomesmendes@gmail.com>
local dateTue, 17 Apr 2007 19:38:48
dateTue, 17 Apr 2007 18:38:48
hash20070417183848-fd7ac-f8eeb34b004cdce7e4c5aba18626c05741925000
Automatic transformation of lambda terms into interaction nets.***END OF DESCRIPTION***


Place the long patch description above the ***END OF DESCRIPTION*** marker.
The first line of this file will be the patch name.


This patch contains the following changes:

M ./src/NetworkUI.hs -5 +64
15 file(s) changed:
INblobs.cabal +2 -2 diff | history | annotate
Makefile +51 -9 diff | history | annotate
lib/animLC [added dir] diff | history | annotate
lib/animLC/Bruijn.hs [added] diff | history | annotate
lib/animLC/Closure.hs [added] diff | history | annotate
lib/animLC/Consts.hs [added] diff | history | annotate
lib/animLC/LambdaS.hs [added] diff | history | annotate
lib/animLC/Main.hs [added] diff | history | annotate
lib/animLC/ParseLib.hs [added] diff | history | annotate
lib/animLC/Schonfinkel.hs [added] diff | history | annotate
lib/animLC/Types.hs [added] diff | history | annotate
makeclean.bat +2 -0 diff | history | annotate
src/NetworkUI.hs +64 -5 diff | history | annotate
startghc.bat +1 -1 diff | history | annotate
startghci.bat +1 -1 diff | history | annotate
Crece desde el pueblo el futuro / crece desde el pie