PAKCS
Exported names: Imported modules:

Module peval

Curry Partial Evaluator

Based on the partial evaluator originally developed by Elvira Albert, German Vidal (UPV), and Michael Hanus (CAU Kiel).

Author: Björn Peemöller and the authors declared above

Version: April 2015

Summary of exported operations:

main :: IO ()   
Main function of the partial evaluator.

Exported operations:

main :: IO ()   

Main function of the partial evaluator.