| Copyright | Michael Hanus 2004 Martin Engelke 2005 Björn Peemöller 2013 |
|---|---|
| License | BSD-3-clause |
| Maintainer | bjp@informatik.uni-kiel.de |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | Safe |
| Language | Haskell2010 |
Curry.AbstractCurry
Description
This library contains a definition for representing Curry programs
in Haskell by the type CurryProg and I/O actions to read Curry programs
and transform them into this abstract representation as well as
write them to a file.
Note that this defines a slightly new format for AbstractCurry in comparison to the first proposal of 2003.
Assumption: An AbstractCurry program Prog is stored in a file with
the file extension acy, i.e. in a file Prog.acy.