repos
/
INblobs
/ filehistory
summary
|
shortlog
|
log
|
tree
|
annotate
|
headblob
|
filehistory
History for path src/Main.hs
16 years ago
Miguel Vilaca
More Cleanup
commit
|
commitdiff
17 years ago
Miguel Vilaca
External Compilation
commit
|
commitdiff
18 years ago
Daniel Mendes
WRINF strategy
commit
|
commitdiff
18 years ago
Miguel Vilaca
Renamings
commit
|
commitdiff
19 years ago
Miguel Vilaca
Usability improvements
commit
|
commitdiff
19 years ago
Miguel Vilaca
Operations on Document and Rules for full IN system
commit
|
commitdiff
19 years ago
Miguel Vilaca
Generation of equations from Interaction Nets
commit
|
commitdiff
19 years ago
Malcolm.Wallace@cs.yor ...
remove class Analysis, replacing it with datatype Operations
commit
|
commitdiff
19 years ago
Malcolm.Wallace@cs.yor ...
make basic app demo slightly more interesting
commit
|
commitdiff
19 years ago
Malcolm.Wallace@cs.yor ...
merge module Node into module Network
commit
|
commitdiff
19 years ago
Malcolm.Wallace@cs.yor ...
remove all the FPTC stuff
commit
|
commitdiff
19 years ago
Malcolm.Wallace@cs.yor ...
big one
commit
|
commitdiff
19 years ago
Malcolm.Wallace@cs.yor ...
suck in some initial FPTC stuff
commit
|
commitdiff
19 years ago
Malcolm.Wallace@cs.yor ...
new info field on every node
commit
|
commitdiff
19 years ago
Malcolm.Wallace@cs.yor ...
initial import
commit
|
commitdiff