All HaMLet sources (c) 1999-2025 Andreas Rossberg.

Please see INSTALL.txt for brief instructions and the doc directory for the full documentation. See LICENSE.txt for licensing information.

The HaMLet homepage is:

http://www.mpi-sws.org/~rossberg/hamlet/