Package
read-legacy
All Packages
Categories
Recent Uploads
Masala
Curry Package Manager
Curry Homepage
Dependencies of
read-legacy
Package Dependencies
cpm-manage
cpm-manage
html2
html2
cpm-manage->html2
cpm
cpm
cpm-manage->cpm
markdown
markdown
markdown->html2
wui2
wui2
wui2->html2
call-analysis
call-analysis
showflatcurry
showflatcurry
call-analysis->showflatcurry
flatcurry
flatcurry
call-analysis->flatcurry
cass
cass
cass-analysis
cass-analysis
cass->cass-analysis
cpm-query
cpm-query
cass->cpm-query
cass->flatcurry
rw-data
rw-data
cass->rw-data
cass-analysis->flatcurry
cass-analysis->rw-data
ccti
ccti
flatcurry-annotated
flatcurry-annotated
ccti->flatcurry-annotated
ccti->flatcurry
chr-curry
chr-curry
chr-curry->flatcurry
contracts
contracts
contracts->flatcurry
cpm-query->flatcurry
curry2js
curry2js
curry2js->flatcurry
currybrowse
currybrowse
currybrowse->cass
currybrowse->cass-analysis
importusage
importusage
currybrowse->importusage
currybrowse->showflatcurry
addtypes
addtypes
currybrowse->addtypes
currybrowse->flatcurry
failfree
failfree
failfree->cass
failfree->cass-analysis
failfree->contracts
failfree->flatcurry-annotated
failfree->showflatcurry
failfree->flatcurry
flatcurry-type-annotated
flatcurry-type-annotated
failfree->flatcurry-type-annotated
failfree->rw-data
flatcurry-annotated->flatcurry
flatcurry-compact
flatcurry-compact
flatcurry-compact->flatcurry
flatcurry-typed
flatcurry-typed
flatcurry-typed->flatcurry-annotated
flatcurry-typed->flatcurry
importusage->flatcurry
makefile
makefile
makefile->flatcurry
peval
peval
peval->flatcurry-annotated
peval->flatcurry
property-prover
property-prover
property-prover->cass
property-prover->cass-analysis
property-prover->contracts
property-prover->flatcurry-annotated
property-prover->showflatcurry
property-prover->flatcurry
property-prover->flatcurry-type-annotated
property-prover->rw-data
residuation-analysis
residuation-analysis
residuation-analysis->cass
residuation-analysis->cass-analysis
residuation-analysis->flatcurry
showflatcurry->flatcurry
sourceproggui
sourceproggui
sourceproggui->flatcurry
transbooleq
transbooleq
transbooleq->cass
transbooleq->cass-analysis
transbooleq->flatcurry
transbooleq->rw-data
exact-print
exact-print
curry-ast
curry-ast
exact-print->curry-ast
stylechecker
stylechecker
stylechecker->curry-ast
curry-source
curry-source
addtypes->curry-source
abstract-curry
abstract-curry
addtypes->abstract-curry
coosy
coosy
coosy->abstract-curry
cpc
cpc
cpc->abstract-curry
curry-repl
curry-repl
curry-repl->abstract-curry
curry-source->abstract-curry
curry-source->flatcurry
currycheck
currycheck
currycheck->cass
currycheck->cass-analysis
currycheck->contracts
currycheck->curry-source
rewriting
rewriting
currycheck->rewriting
currycheck->abstract-curry
currycheck->flatcurry
currycheck->rw-data
currydoc
currydoc
currydoc->markdown
currydoc->cass
currydoc->cass-analysis
currydoc->html2
currydoc->abstract-curry
currydoc->flatcurry
currypp
currypp
currypp->cass
currypp->cass-analysis
currypp->contracts
currypp->currycheck
currypp->html2
currypp->abstract-curry
cdbi
cdbi
currypp->cdbi
currypp->flatcurry
dsdcurry
dsdcurry
dsdcurry->abstract-curry
ertools
ertools
ertools->abstract-curry
ertools->cdbi
ertools->flatcurry
html2->flatcurry-annotated
html2->abstract-curry
html2->flatcurry
html2->flatcurry-type-annotated
plural-arguments
plural-arguments
plural-arguments->abstract-curry
prolog2curry
prolog2curry
prolog2curry->abstract-curry
rewriting->abstract-curry
rw-data-generator
rw-data-generator
rw-data-generator->abstract-curry
rw-data-generator->flatcurry
rw-data-generator->rw-data
setfunction-synthesis
setfunction-synthesis
setfunction-synthesis->flatcurry-annotated
setfunction-synthesis->abstract-curry
setfunction-synthesis->flatcurry
spicey
spicey
spicey->ertools
spicey->abstract-curry
spicey->cdbi
verify
verify
verify->cass
verify->cass-analysis
verify->currycheck
verify->rewriting
verify->abstract-curry
verify-non-fail
verify-non-fail
verify-non-fail->cass
verify-non-fail->cass-analysis
verify-non-fail->contracts
verify-non-fail->abstract-curry
verify-non-fail->flatcurry
verify-non-fail->rw-data
xmldata
xmldata
xmldata->abstract-curry
xmldata->flatcurry
read-legacy
read-legacy
abstract-curry->read-legacy
cdbi->read-legacy
contract-prover
contract-prover
contract-prover->contracts
contract-prover->flatcurry-annotated
contract-prover->showflatcurry
contract-prover->flatcurry
contract-prover->flatcurry-type-annotated
contract-prover->read-legacy
cpm->cass
cpm->cass-analysis
cpm->abstract-curry
cpm->cdbi
cpm->flatcurry
cpm->rw-data
cpm->read-legacy
curry-ast->read-legacy
flatcurry->rw-data
flatcurry->read-legacy
flatcurry-type-annotated->flatcurry-annotated
flatcurry-type-annotated->rewriting
flatcurry-type-annotated->flatcurry
flatcurry-type-annotated->read-legacy
icurry
icurry
icurry->flatcurry
icurry->read-legacy
nonstrictunif-optimize
nonstrictunif-optimize
nonstrictunif-optimize->flatcurry
nonstrictunif-optimize->read-legacy
rw-data->read-legacy
base
base
read-legacy->base