ContentsIndex
Core2Agda
Description

Translating a Haskell core abstract syntax, which has gone through case-abstraction and lambda-lifting already, to Agda abstract syntax.

Authors: Patrik Jansson, Gregoire Hamon

Synopsis
core2agda :: Module -> Module
Produced by Haddock version 0.6