| 16 years ago | Miguel Vilaca | More Cleanup | commit | commitdiff |
| 17 years ago | Miguel Vilaca | Upgrade for new versions | commit | commitdiff |
| 17 years ago | Miguel Vilaca | Move to HaXml 1.19 | commit | commitdiff |
| 17 years ago | Daniel Mendes | Automatic transformation of lambda terms into interactio ... | commit | commitdiff |
| 18 years ago | Miguel Vilaca | Adds Cabal support | commit | commitdiff |