Commit faca1be6 authored by Michael Hanus 's avatar Michael Hanus
Browse files

flatcurry-annotated corrected

parent a663741a
......@@ -18,10 +18,10 @@
"kics2": ">= 2.0.0"
},
"exportedModules": [ "FlatCurry.Annotated.Types",
"FlatCurry.Annotated.Files",
"FlatCurry.Annotated.Goodies",
"FlatCurry.Annotated.Pretty",
"FlatCurry.Annotated.TypeSubst",
"FlatCurry.Annotated.TypeInference" ],
"FlatCurry.Annotated.TypeSubst" ],
"source": {
"git": "https://git.ps.informatik.uni-kiel.de/curry-packages/flatcurry-annotated.git",
"tag": "$version"
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment