Fun-trans - A Framework for Transforming Functional Programs

This source code implements the program transformation framework for a strict and pure functional language described in the master’s thesis Automating Functional Program Transformation.

The implementation language is LambdaProlog.