flatcurry-5.0.0
---------------
Version      5.0.0
Author       Michael Hanus <mh@informatik.uni-kiel.de>
Synopsis     Libraries to deal with FlatCurry programs
Category     Metaprogramming
Dependencies
    base >= 3.0.0,  < 4.0.0
    currypath >= 3.0.0,  < 4.0.0
    directory >= 3.0.0,  < 4.0.0
    filepath >= 3.0.0,  < 4.0.0
    frontend-exec >= 3.0.0,  < 4.0.0
    profiling >= 3.0.0,  < 4.0.0
    read-legacy >= 3.0.0,  < 4.0.0
    rw-data >= 1.0.0
    time >= 3.0.0,  < 4.0.0
    transformers >= 3.0.0,  < 4.0.0
    wl-pprint >= 3.0.0,  < 4.0.0
Compiler compatibility
    pakcs >= 3.10.0
    kics2 >= 3.5.0
    curry2go >= 1.7.0
    kmcc >= 0.5.0
Exported modules
    FlatCurry.Files FlatCurry.FlexRigid FlatCurry.Goodies FlatCurry.Normalize
    FlatCurry.Pretty FlatCurry.Read FlatCurry.Show FlatCurry.Types
    FlatCurry.TypesRW
Test suite
    Directory     test
    Test modules  TestFlatCurryGoodies TestNormalize
Source
    Git https://github.com/curry-packages/flatcurry.git@v5.0.0
License
    BSD-3-Clause
License file
    LICENSE