Forked from
curry / curry-tools
578 commits behind, 2 commits ahead of the upstream repository.
-
Michael Hanus authoredMichael Hanus authored
.gitignore 404 B
# intermediate files
*~
.curry
Curry_Main_Goal.curry
# executables
addtypes/AddTypes
browser/BrowserGUI
browser/SourceProgGUI
CASS/cass
CASS/cass_worker
curry2js/Curry2JS
currypp/Main
currydoc/CurryDoc
currytest/CurryTest
createmakefile/CreateMakefile
erd2curry/erd2curry
genint/GenInt
importcalls/ImportCalls
optimize/bindingopt
optimize/binding_optimization/BindingOpt
spicey/spiceup
xmldata/Data2Xml