The λδ Digital Library is part of
HELM
and contains resources expressed in the systems of the λδ family.
Helena is a processor for the systems of the λδ family,
implemented in
Caml
as a part of the
HELM software,
meant for testing both their stable and unstable features.
The processor source code is available in the directory
/trunk/helm/software/helena/
of the
HELM Svn repository.
The Svn revisions containing the stable versions of Helena are indicated next.