Commit 137bb614 authored by Michael Hanus's avatar Michael Hanus
Browse files

Typos corrected

parent 246f1d2e
{
"name": "flatcurry-annotated",
"version": "1.0.0",
"author": "Michael Hanus <Michael Hanus>, Jonas Oberschweiber <jonas@oberschweiber.com>, Bjoern Peemoeller <bpe@informatik.uni-kiel.de>",
"maitainer": "Michael Hanus <Michael Hanus>",
"author": "Michael Hanus <mh@informatik.uni-kiel.de>, Jonas Oberschweiber <jonas@oberschweiber.com>, Bjoern Peemoeller <bjp@informatik.uni-kiel.de>",
"maintainer": "Michael Hanus <mh@informatik.uni-kiel.de>",
"synopsis": "Libraries to represent FlatCurry programs with arbitrary annotations",
"category": [ "Metaprogramming" ],
"description": "This package contain libraries to represent FlatCurry programs with arbitrary annotations. Furthermore, it contains libraries to annotate each expression occurring in a given FlatCurry program with type information.",
......
{
"name": "flatcurry-annotated",
"version": "2.0.0",
"author": "Michael Hanus <Michael Hanus>, Jonas Oberschweiber <jonas@oberschweiber.com>, Bjoern Peemoeller <bpe@informatik.uni-kiel.de>",
"maitainer": "Michael Hanus <Michael Hanus>",
"author": "Michael Hanus <mh@informatik.uni-kiel.de>, Jonas Oberschweiber <jonas@oberschweiber.com>, Bjoern Peemoeller <bjp@informatik.uni-kiel.de>",
"maintainer": "Michael Hanus <mh@informatik.uni-kiel.de>",
"synopsis": "Libraries to represent FlatCurry programs with arbitrary annotations",
"category": [ "Metaprogramming" ],
"description": "This package contain libraries to represent FlatCurry programs with arbitrary annotations. Furthermore, it contains libraries to annotate each expression occurring in a given FlatCurry program with type information.",
......
{
"name": "peval",
"version": "1.0.0",
"author": "Bjoern Peemoeller <bpe@informatik.uni-kiel.de>",
"author": "Bjoern Peemoeller <bjp@informatik.uni-kiel.de>",
"synopsis": "A partial evaluator for Curry",
"category": [ "Analysis", "Optimization" ],
"dependencies": {
......
{
"name": "peval",
"version": "2.0.0",
"author": "Bjoern Peemoeller <bpe@informatik.uni-kiel.de>",
"author": "Bjoern Peemoeller <bjp@informatik.uni-kiel.de>",
"synopsis": "A partial evaluator for Curry",
"category": [ "Analysis", "Optimization" ],
"dependencies": {
......
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