repos
/
INblobs
/ filediff
summary
|
shortlog
|
log
|
tree
|
commit
|
commitdiff
|
headdiff
|
annotate
|
filehistory
unified
|
plain
|
darcs
Automatic transformation of lambda terms into interaction nets.***END OF DESCRIPTION***
lib/animLC/Bruijn.hs
darcs failed: Unable to "darcs diff" here.
ERROR: repository upgrade required, try `darcs optimize --upgrade`
See http://wiki.darcs.net/OF for more details.