| 15 years ago | Miguel Vilaca | More Cleanup | commit | commitdiff |
| 16 years ago | Miguel Vilaca | Functional BNL programs to IN Iterators | commit | commitdiff |
| 16 years ago | Miguel Vilaca | Bug Fix: lambda-terms to IN | commit | commitdiff |
| 17 years ago | Daniel Mendes | Automatic transformation of lambda terms into interactio ... | commit | commitdiff |