Created
April 2, 2019 06:28
-
-
Save ryantm/279ec9ef614bd513327bc89471f21c38 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /nix/store/a82r30nirl2iysgm9knazl3f3c5kggq3-pakcs-2.1.1 | |
| ├── bin -> /nix/store/a82r30nirl2iysgm9knazl3f3c5kggq3-pakcs-2.1.1/pakcs/bin | |
| ├── pakcs | |
| │ ├── bin | |
| │ │ ├── cleancurry | |
| │ │ ├── curry -> pakcs | |
| │ │ ├── cypm | |
| │ │ ├── pakcs | |
| │ │ ├── pakcs-cypm -> cypm | |
| │ │ ├── pakcs-fcypp | |
| │ │ ├── pakcs-frontend -> /nix/store/z6j7y3867n7vnvg08a9x6gwrbpbhmdwa-curry-frontend-1.0.2/bin/curry-frontend | |
| │ │ ├── pakcs-makecgi | |
| │ │ └── swiprolog -> /nix/store/zb03vklsb2acq8jrhk3fq9jjaph05s8d-swi-prolog-7.6.4/bin/swipl | |
| │ ├── currytools | |
| │ │ ├── cpm | |
| │ │ │ ├── docs | |
| │ │ │ │ ├── currysystem_manual.tex | |
| │ │ │ │ ├── manual.tex | |
| │ │ │ │ └── README.txt | |
| │ │ │ ├── LICENSE | |
| │ │ │ ├── Makefile | |
| │ │ │ ├── misc | |
| │ │ │ │ ├── extract_npm_packages.rb | |
| │ │ │ │ └── MeasureNestingDepth.curry | |
| │ │ │ ├── README.md | |
| │ │ │ ├── src | |
| │ │ │ │ ├── CPM | |
| │ │ │ │ │ ├── AbstractCurry.curry | |
| │ │ │ │ │ ├── Config.curry | |
| │ │ │ │ │ ├── ConfigPackage.curry | |
| │ │ │ │ │ ├── Diff | |
| │ │ │ │ │ │ ├── API.curry | |
| │ │ │ │ │ │ ├── Behavior.curry | |
| │ │ │ │ │ │ ├── CurryComments.curry | |
| │ │ │ │ │ │ └── Rename.curry | |
| │ │ │ │ │ ├── ErrorLogger.curry | |
| │ │ │ │ │ ├── FileUtil.curry | |
| │ │ │ │ │ ├── Helpers.curry | |
| │ │ │ │ │ ├── LookupSet.curry | |
| │ │ │ │ │ ├── Main.curry | |
| │ │ │ │ │ ├── Package | |
| │ │ │ │ │ │ └── Helpers.curry | |
| │ │ │ │ │ ├── PackageCache | |
| │ │ │ │ │ │ ├── Global.curry | |
| │ │ │ │ │ │ ├── Local.curry | |
| │ │ │ │ │ │ └── Runtime.curry | |
| │ │ │ │ │ ├── PackageCopy.curry | |
| │ │ │ │ │ ├── Package.curry | |
| │ │ │ │ │ ├── PerformanceTest.curry | |
| │ │ │ │ │ ├── Repository | |
| │ │ │ │ │ │ ├── CacheDB.curry | |
| │ │ │ │ │ │ ├── CacheFile.curry | |
| │ │ │ │ │ │ ├── IndexDB_ERD.curry | |
| │ │ │ │ │ │ ├── README.txt | |
| │ │ │ │ │ │ ├── RepositoryDB.curry | |
| │ │ │ │ │ │ ├── RepositoryDB_SQLCode.info | |
| │ │ │ │ │ │ ├── Select.curry | |
| │ │ │ │ │ │ ├── Select_ORG.curry | |
| │ │ │ │ │ │ └── Update.curry | |
| │ │ │ │ │ ├── Repository.curry | |
| │ │ │ │ │ └── Resolution.curry | |
| │ │ │ │ └── CPM.Main | |
| │ │ │ ├── templates | |
| │ │ │ │ ├── LICENSE | |
| │ │ │ │ └── Main.curry | |
| │ │ │ └── vendor | |
| │ │ │ ├── abstract-curry | |
| │ │ │ │ ├── LICENSE | |
| │ │ │ │ ├── package.json | |
| │ │ │ │ ├── README.md | |
| │ │ │ │ ├── src | |
| │ │ │ │ │ └── AbstractCurry | |
| │ │ │ │ │ ├── Build.curry | |
| │ │ │ │ │ ├── Files.curry | |
| │ │ │ │ │ ├── Pretty.curry | |
| │ │ │ │ │ ├── Select.curry | |
| │ │ │ │ │ ├── Transform.curry | |
| │ │ │ │ │ └── Types.curry | |
| │ │ │ │ └── test | |
| │ │ │ │ ├── Nat.curry | |
| │ │ │ │ ├── Rev.curry | |
| │ │ │ │ └── TestAbstractCurry.curry | |
| │ │ │ ├── boxes | |
| │ │ │ │ ├── package.json | |
| │ │ │ │ ├── README.md | |
| │ │ │ │ └── src | |
| │ │ │ │ └── Boxes.curry | |
| │ │ │ ├── cass | |
| │ │ │ │ ├── curryanalysisrc | |
| │ │ │ │ ├── docs | |
| │ │ │ │ │ ├── Demand.md | |
| │ │ │ │ │ ├── Deterministic.md | |
| │ │ │ │ │ ├── Functional.md | |
| │ │ │ │ │ ├── Groundness.md | |
| │ │ │ │ │ ├── HiOrderConstr.md | |
| │ │ │ │ │ ├── HiOrderFunc.md | |
| │ │ │ │ │ ├── HiOrderType.md | |
| │ │ │ │ │ ├── Indeterministic.md | |
| │ │ │ │ │ ├── main.tex | |
| │ │ │ │ │ ├── manual.tex | |
| │ │ │ │ │ ├── NDEffect.md | |
| │ │ │ │ │ ├── NonDetAllDeps.md | |
| │ │ │ │ │ ├── NonDetDeps.md | |
| │ │ │ │ │ ├── Overlapping.md | |
| │ │ │ │ │ ├── PatComplete.md | |
| │ │ │ │ │ ├── Productive.md | |
| │ │ │ │ │ ├── README.txt | |
| │ │ │ │ │ ├── RequiredValue.md | |
| │ │ │ │ │ ├── RequiredValues.md | |
| │ │ │ │ │ ├── Residuation.md | |
| │ │ │ │ │ ├── RightLinear.md | |
| │ │ │ │ │ ├── RootCyclic.md | |
| │ │ │ │ │ ├── RootReplaced.md | |
| │ │ │ │ │ ├── SensibleType.md | |
| │ │ │ │ │ ├── SiblingCons.md | |
| │ │ │ │ │ ├── SolComplete.md | |
| │ │ │ │ │ ├── Terminating.md | |
| │ │ │ │ │ ├── Total.md | |
| │ │ │ │ │ ├── TypesInValues.md | |
| │ │ │ │ │ └── UnsafeModule.md | |
| │ │ │ │ ├── examples | |
| │ │ │ │ │ ├── NonDetTest.curry | |
| │ │ │ │ │ ├── ResiduationStats.curry | |
| │ │ │ │ │ ├── Rev.curry | |
| │ │ │ │ │ ├── RootReplacedTest.curry | |
| │ │ │ │ │ └── UsingCASS.curry | |
| │ │ │ │ ├── LICENSE | |
| │ │ │ │ ├── package.json | |
| │ │ │ │ ├── Protocol.txt | |
| │ │ │ │ ├── README.md | |
| │ │ │ │ └── src | |
| │ │ │ │ └── CASS | |
| │ │ │ │ ├── Configuration.curry | |
| │ │ │ │ ├── Dependencies.curry | |
| │ │ │ │ ├── Doc.curry | |
| │ │ │ │ ├── FlatCurryDependency.curry | |
| │ │ │ │ ├── Main.curry | |
| │ │ │ │ ├── PackageConfig.curry | |
| │ │ │ │ ├── Registry.curry | |
| │ │ │ │ ├── Server.curry | |
| │ │ │ │ ├── ServerFormats.curry | |
| │ │ │ │ ├── ServerFunctions.curry | |
| │ │ │ │ ├── Worker.curry | |
| │ │ │ │ └── WorkerFunctions.curry | |
| │ │ │ ├── cass-analysis | |
| │ │ │ │ ├── LICENSE | |
| │ │ │ │ ├── package.json | |
| │ │ │ │ ├── README.md | |
| │ │ │ │ └── src | |
| │ │ │ │ └── Analysis | |
| │ │ │ │ ├── Demandedness.curry | |
| │ │ │ │ ├── Deterministic.curry | |
| │ │ │ │ ├── Files.curry | |
| │ │ │ │ ├── Groundness.curry | |
| │ │ │ │ ├── HigherOrder.curry | |
| │ │ │ │ ├── Indeterministic.curry | |
| │ │ │ │ ├── Logging.curry | |
| │ │ │ │ ├── ProgInfo.curry | |
| │ │ │ │ ├── RequiredValue.curry | |
| │ │ │ │ ├── RequiredValues.curry | |
| │ │ │ │ ├── Residuation.curry | |
| │ │ │ │ ├── RightLinearity.curry | |
| │ │ │ │ ├── RootReplaced.curry | |
| │ │ │ │ ├── SensibleTypes.curry | |
| │ │ │ │ ├── SolutionCompleteness.curry | |
| │ │ │ │ ├── Termination.curry | |
| │ │ │ │ ├── TotallyDefined.curry | |
| │ │ │ │ ├── Types.curry | |
| │ │ │ │ ├── TypeUsage.curry | |
| │ │ │ │ └── UnsafeModule.curry | |
| │ │ │ ├── cdbi | |
| │ │ │ │ ├── LICENSE | |
| │ │ │ │ ├── package.json | |
| │ │ │ │ ├── README.md | |
| │ │ │ │ └── src | |
| │ │ │ │ └── Database | |
| │ │ │ │ ├── CDBI | |
| │ │ │ │ │ ├── Connection.curry | |
| │ │ │ │ │ ├── Criteria.curry | |
| │ │ │ │ │ ├── Description.curry | |
| │ │ │ │ │ ├── ER.curry | |
| │ │ │ │ │ └── QueryTypes.curry | |
| │ │ │ │ └── ERD.curry | |
| │ │ │ ├── csv | |
| │ │ │ │ ├── LICENSE | |
| │ │ │ │ ├── package.json | |
| │ │ │ │ ├── README.md | |
| │ │ │ │ └── src | |
| │ │ │ │ └── Text | |
| │ │ │ │ └── CSV.curry | |
| │ │ │ ├── currypath | |
| │ │ │ │ ├── LICENSE | |
| │ │ │ │ ├── package.json | |
| │ │ │ │ ├── README.md | |
| │ │ │ │ └── src | |
| │ │ │ │ └── System | |
| │ │ │ │ └── CurryPath.curry | |
| │ │ │ ├── det-parse | |
| │ │ │ │ ├── package.json | |
| │ │ │ │ ├── README.md | |
| │ │ │ │ └── src | |
| │ │ │ │ └── DetParse.curry | |
| │ │ │ ├── execpath | |
| │ │ │ │ ├── LICENSE | |
| │ │ │ │ ├── package.json | |
| │ │ │ │ ├── README.md | |
| │ │ │ │ └── src | |
| │ │ │ │ └── System | |
| │ │ │ │ └── Path.curry | |
| │ │ │ ├── finite-map | |
| │ │ │ │ ├── LICENSE | |
| │ │ │ │ ├── package.json | |
| │ │ │ │ ├── README.md | |
| │ │ │ │ ├── src | |
| │ │ │ │ │ └── Data | |
| │ │ │ │ │ ├── FiniteMap.curry | |
| │ │ │ │ │ └── Map.curry | |
| │ │ │ │ └── test | |
| │ │ │ │ └── TestFiniteMap.curry | |
| │ │ │ ├── flatcurry | |
| │ │ │ │ ├── LICENSE | |
| │ │ │ │ ├── package.json | |
| │ │ │ │ ├── README.md | |
| │ │ │ │ ├── src | |
| │ │ │ │ │ └── FlatCurry | |
| │ │ │ │ │ ├── Compact.curry | |
| │ │ │ │ │ ├── Files.curry | |
| │ │ │ │ │ ├── FlexRigid.curry | |
| │ │ │ │ │ ├── Goodies.curry | |
| │ │ │ │ │ ├── Pretty.curry | |
| │ │ │ │ │ ├── Read.curry | |
| │ │ │ │ │ ├── Show.curry | |
| │ │ │ │ │ ├── Types.curry | |
| │ │ │ │ │ └── XML.curry | |
| │ │ │ │ └── test | |
| │ │ │ │ ├── rev.curry | |
| │ │ │ │ ├── TestFlatCurryGoodies.curry | |
| │ │ │ │ └── TestFlatCurryXML.curry | |
| │ │ │ ├── frontend-exec | |
| │ │ │ │ ├── LICENSE | |
| │ │ │ │ ├── package.json | |
| │ │ │ │ ├── README.md | |
| │ │ │ │ └── src | |
| │ │ │ │ └── System | |
| │ │ │ │ └── FrontendExec.curry | |
| │ │ │ ├── json | |
| │ │ │ │ ├── package.json | |
| │ │ │ │ ├── README.md | |
| │ │ │ │ └── src | |
| │ │ │ │ └── JSON | |
| │ │ │ │ ├── Data.curry | |
| │ │ │ │ ├── Parser.curry | |
| │ │ │ │ └── Pretty.curry | |
| │ │ │ ├── opt-parse | |
| │ │ │ │ ├── package.json | |
| │ │ │ │ ├── README.md | |
| │ │ │ │ └── src | |
| │ │ │ │ └── OptParse.curry | |
| │ │ │ ├── profiling | |
| │ │ │ │ ├── examples | |
| │ │ │ │ │ └── benchmark_curry.curry | |
| │ │ │ │ ├── LICENSE | |
| │ │ │ │ ├── package.json | |
| │ │ │ │ ├── README.md | |
| │ │ │ │ └── src | |
| │ │ │ │ └── Debug | |
| │ │ │ │ ├── Profile.curry | |
| │ │ │ │ ├── Profile.kics2 | |
| │ │ │ │ └── Profile.pakcs | |
| │ │ │ ├── propertyfile | |
| │ │ │ │ ├── LICENSE | |
| │ │ │ │ ├── package.json | |
| │ │ │ │ ├── README.md | |
| │ │ │ │ └── src | |
| │ │ │ │ └── Data | |
| │ │ │ │ └── PropertyFile.curry | |
| │ │ │ ├── queue | |
| │ │ │ │ ├── LICENSE | |
| │ │ │ │ ├── package.json | |
| │ │ │ │ ├── README.md | |
| │ │ │ │ ├── src | |
| │ │ │ │ │ └── Data | |
| │ │ │ │ │ └── Queue.curry | |
| │ │ │ │ └── test | |
| │ │ │ │ └── TestQueue.curry | |
| │ │ │ ├── random | |
| │ │ │ │ ├── LICENSE | |
| │ │ │ │ ├── package.json | |
| │ │ │ │ ├── README.md | |
| │ │ │ │ └── src | |
| │ │ │ │ └── System | |
| │ │ │ │ └── Random.curry | |
| │ │ │ ├── redblacktree | |
| │ │ │ │ ├── LICENSE | |
| │ │ │ │ ├── package.json | |
| │ │ │ │ ├── README.md | |
| │ │ │ │ ├── src | |
| │ │ │ │ │ └── Data | |
| │ │ │ │ │ ├── RedBlackTree.curry | |
| │ │ │ │ │ ├── Set | |
| │ │ │ │ │ │ └── RBTree.curry | |
| │ │ │ │ │ └── Table | |
| │ │ │ │ │ └── RBTree.curry | |
| │ │ │ │ └── test | |
| │ │ │ │ └── TestRedBlackTree.curry | |
| │ │ │ ├── scc | |
| │ │ │ │ ├── LICENSE | |
| │ │ │ │ ├── package.json | |
| │ │ │ │ ├── README.md | |
| │ │ │ │ └── src | |
| │ │ │ │ └── Data | |
| │ │ │ │ └── SCC.curry | |
| │ │ │ ├── socket | |
| │ │ │ │ ├── examples | |
| │ │ │ │ │ ├── addserver.curry | |
| │ │ │ │ │ ├── addtimeoutserver.curry | |
| │ │ │ │ │ └── httpget.curry | |
| │ │ │ │ ├── LICENSE | |
| │ │ │ │ ├── package.json | |
| │ │ │ │ ├── README.md | |
| │ │ │ │ └── src | |
| │ │ │ │ └── Network | |
| │ │ │ │ ├── Socket.curry | |
| │ │ │ │ ├── Socket.kics2 | |
| │ │ │ │ └── Socket.pakcs | |
| │ │ │ ├── wl-pprint | |
| │ │ │ │ ├── LICENSE | |
| │ │ │ │ ├── package.json | |
| │ │ │ │ ├── README.md | |
| │ │ │ │ └── src | |
| │ │ │ │ └── Text | |
| │ │ │ │ ├── Pretty.curry | |
| │ │ │ │ └── PrettyImpl.curry | |
| │ │ │ └── xml | |
| │ │ │ ├── examples | |
| │ │ │ │ └── XmlMatching.curry | |
| │ │ │ ├── LICENSE | |
| │ │ │ ├── package.json | |
| │ │ │ ├── README.md | |
| │ │ │ └── src | |
| │ │ │ ├── XCuery.lcurry | |
| │ │ │ ├── XmlConv.curry | |
| │ │ │ └── XML.curry | |
| │ │ ├── LICENSE | |
| │ │ ├── Makefile | |
| │ │ ├── optimize | |
| │ │ │ ├── BindingOpt | |
| │ │ │ ├── docs | |
| │ │ │ │ ├── manual.tex | |
| │ │ │ │ └── README.txt | |
| │ │ │ ├── examples | |
| │ │ │ │ ├── Expressions.curry | |
| │ │ │ │ ├── Grep.curry | |
| │ │ │ │ ├── Half.curry | |
| │ │ │ │ ├── Last.curry | |
| │ │ │ │ └── Various.curry | |
| │ │ │ ├── Makefile | |
| │ │ │ ├── package.json | |
| │ │ │ ├── README.txt | |
| │ │ │ └── src | |
| │ │ │ └── BindingOpt.curry | |
| │ │ └── README.md | |
| │ ├── docs | |
| │ │ ├── flatcurry.dtd | |
| │ │ ├── Manual.pdf | |
| │ │ ├── markdown_syntax.html | |
| │ │ └── README | |
| │ ├── examples | |
| │ │ ├── account.curry | |
| │ │ ├── assembler.curry | |
| │ │ ├── benchmark.curry | |
| │ │ ├── best.curry | |
| │ │ ├── casetest.curry | |
| │ │ ├── colormap.curry | |
| │ │ ├── colormap_nd.curry | |
| │ │ ├── diamond.curry | |
| │ │ ├── digit.curry | |
| │ │ ├── escher_cond.curry | |
| │ │ ├── escher_higher.curry | |
| │ │ ├── escher_perm.curry | |
| │ │ ├── exchange.curry | |
| │ │ ├── family_con.curry | |
| │ │ ├── family_fun.curry | |
| │ │ ├── family_nd.curry | |
| │ │ ├── family_rel.curry | |
| │ │ ├── first.curry | |
| │ │ ├── higher.curry | |
| │ │ ├── horseman.curry | |
| │ │ ├── index.html | |
| │ │ ├── inflists.curry | |
| │ │ ├── infresiduate.curry | |
| │ │ ├── last.curry | |
| │ │ ├── listcomp | |
| │ │ │ ├── arithseq.curry | |
| │ │ │ ├── Default.lcurry | |
| │ │ │ ├── multgen.curry | |
| │ │ │ └── psort.curry | |
| │ │ ├── maxtree.curry | |
| │ │ ├── member.curry | |
| │ │ ├── mergesort.curry | |
| │ │ ├── mergesort_or.curry | |
| │ │ ├── modules | |
| │ │ │ ├── ModConc.curry | |
| │ │ │ ├── UseConc1.curry | |
| │ │ │ └── UseConc2.curry | |
| │ │ ├── nats.curry | |
| │ │ ├── nondetfunc.curry | |
| │ │ ├── optmatch.curry | |
| │ │ ├── prolog.curry | |
| │ │ ├── qsortlet.curry | |
| │ │ ├── quicksort.curry | |
| │ │ ├── ralign.curry | |
| │ │ ├── README | |
| │ │ ├── rectype.curry | |
| │ │ ├── relational.curry | |
| │ │ ├── rev.curry | |
| │ │ ├── rigidadd.curry | |
| │ │ ├── rigidor.curry | |
| │ │ ├── tctest.curry | |
| │ │ ├── TESTRESULT.txt | |
| │ │ └── test.sh | |
| │ ├── frontend | |
| │ │ ├── curry-base | |
| │ │ │ ├── CHANGELOG.md | |
| │ │ │ ├── curry-base.cabal | |
| │ │ │ ├── debian | |
| │ │ │ │ ├── changelog | |
| │ │ │ │ ├── compat | |
| │ │ │ │ ├── control | |
| │ │ │ │ ├── copyright | |
| │ │ │ │ ├── rules | |
| │ │ │ │ └── source | |
| │ │ │ │ └── format | |
| │ │ │ ├── LICENSE | |
| │ │ │ ├── overview.md | |
| │ │ │ ├── Setup.hs | |
| │ │ │ ├── src | |
| │ │ │ │ └── Curry | |
| │ │ │ │ ├── AbstractCurry | |
| │ │ │ │ │ ├── Files.hs | |
| │ │ │ │ │ └── Type.hs | |
| │ │ │ │ ├── AbstractCurry.hs | |
| │ │ │ │ ├── Base | |
| │ │ │ │ │ ├── Ident.hs | |
| │ │ │ │ │ ├── LexComb.hs | |
| │ │ │ │ │ ├── LLParseComb.hs | |
| │ │ │ │ │ ├── Message.hs | |
| │ │ │ │ │ ├── Monad.hs | |
| │ │ │ │ │ ├── Position.hs | |
| │ │ │ │ │ ├── Pretty.hs | |
| │ │ │ │ │ ├── Span.hs | |
| │ │ │ │ │ └── SpanInfo.hs | |
| │ │ │ │ ├── CondCompile | |
| │ │ │ │ │ ├── Parser.hs | |
| │ │ │ │ │ ├── Transform.hs | |
| │ │ │ │ │ └── Type.hs | |
| │ │ │ │ ├── Files | |
| │ │ │ │ │ ├── Filenames.hs | |
| │ │ │ │ │ ├── PathUtils.hs | |
| │ │ │ │ │ └── Unlit.hs | |
| │ │ │ │ ├── FlatCurry | |
| │ │ │ │ │ ├── Annotated | |
| │ │ │ │ │ │ ├── Goodies.hs | |
| │ │ │ │ │ │ └── Type.hs | |
| │ │ │ │ │ ├── Files.hs | |
| │ │ │ │ │ ├── Goodies.hs | |
| │ │ │ │ │ ├── InterfaceEquivalence.hs | |
| │ │ │ │ │ ├── Pretty.hs | |
| │ │ │ │ │ ├── Typeable.hs | |
| │ │ │ │ │ ├── Typed | |
| │ │ │ │ │ │ ├── Goodies.hs | |
| │ │ │ │ │ │ └── Type.hs | |
| │ │ │ │ │ └── Type.hs | |
| │ │ │ │ ├── FlatCurry.hs | |
| │ │ │ │ ├── Syntax | |
| │ │ │ │ │ ├── Extension.hs | |
| │ │ │ │ │ ├── InterfaceEquivalence.hs | |
| │ │ │ │ │ ├── Lexer.hs | |
| │ │ │ │ │ ├── Parser.hs | |
| │ │ │ │ │ ├── Pretty.hs | |
| │ │ │ │ │ ├── ShowModule.hs | |
| │ │ │ │ │ ├── Type.hs | |
| │ │ │ │ │ └── Utils.hs | |
| │ │ │ │ └── Syntax.hs | |
| │ │ │ ├── test | |
| │ │ │ │ ├── HaskellRecords.curry | |
| │ │ │ │ ├── Pragmas.curry | |
| │ │ │ │ └── TestBase.hs | |
| │ │ │ └── util | |
| │ │ │ ├── canonfint.hs | |
| │ │ │ ├── lex.hs | |
| │ │ │ └── parse.hs | |
| │ │ ├── curry-frontend | |
| │ │ │ ├── CHANGELOG.md | |
| │ │ │ ├── curry-frontend.cabal | |
| │ │ │ ├── data | |
| │ │ │ │ └── currysource.css | |
| │ │ │ ├── debian | |
| │ │ │ │ ├── changelog | |
| │ │ │ │ ├── compat | |
| │ │ │ │ ├── control | |
| │ │ │ │ ├── copyright | |
| │ │ │ │ ├── curry-frontend.install | |
| │ │ │ │ ├── curry-frontend.manpages | |
| │ │ │ │ ├── docs | |
| │ │ │ │ ├── man | |
| │ │ │ │ │ └── curry-frontend.1 | |
| │ │ │ │ ├── rules | |
| │ │ │ │ ├── source | |
| │ │ │ │ │ └── format | |
| │ │ │ │ └── source.lintian-overrides | |
| │ │ │ ├── LICENSE | |
| │ │ │ ├── LIESMICH | |
| │ │ │ ├── overview.md | |
| │ │ │ ├── Setup.hs | |
| │ │ │ ├── src | |
| │ │ │ │ ├── Base | |
| │ │ │ │ │ ├── AnnotExpr.hs | |
| │ │ │ │ │ ├── CurryKinds.hs | |
| │ │ │ │ │ ├── CurryTypes.hs | |
| │ │ │ │ │ ├── Expr.hs | |
| │ │ │ │ │ ├── Kinds.hs | |
| │ │ │ │ │ ├── KindSubst.hs | |
| │ │ │ │ │ ├── Messages.hs | |
| │ │ │ │ │ ├── NestEnv.hs | |
| │ │ │ │ │ ├── PrettyKinds.hs | |
| │ │ │ │ │ ├── PrettyTypes.hs | |
| │ │ │ │ │ ├── SCC.hs | |
| │ │ │ │ │ ├── Subst.hs | |
| │ │ │ │ │ ├── TopEnv.hs | |
| │ │ │ │ │ ├── TypeExpansion.hs | |
| │ │ │ │ │ ├── Types.hs | |
| │ │ │ │ │ ├── TypeSubst.hs | |
| │ │ │ │ │ ├── Typing.hs | |
| │ │ │ │ │ └── Utils.hs | |
| │ │ │ │ ├── Checks | |
| │ │ │ │ │ ├── DeriveCheck.hs | |
| │ │ │ │ │ ├── ExportCheck.hs | |
| │ │ │ │ │ ├── ExtensionCheck.hs | |
| │ │ │ │ │ ├── ImportSyntaxCheck.hs | |
| │ │ │ │ │ ├── InstanceCheck.hs | |
| │ │ │ │ │ ├── InterfaceCheck.hs | |
| │ │ │ │ │ ├── InterfaceSyntaxCheck.hs | |
| │ │ │ │ │ ├── KindCheck.hs | |
| │ │ │ │ │ ├── PrecCheck.hs | |
| │ │ │ │ │ ├── SyntaxCheck.hs | |
| │ │ │ │ │ ├── TypeCheck.hs | |
| │ │ │ │ │ ├── TypeSyntaxCheck.hs | |
| │ │ │ │ │ └── WarnCheck.hs | |
| │ │ │ │ ├── Checks.hs | |
| │ │ │ │ ├── CompilerEnv.hs | |
| │ │ │ │ ├── CompilerOpts.hs | |
| │ │ │ │ ├── CondCompile.hs | |
| │ │ │ │ ├── CurryBuilder.hs | |
| │ │ │ │ ├── CurryDeps.hs | |
| │ │ │ │ ├── cymake.hs | |
| │ │ │ │ ├── Env | |
| │ │ │ │ │ ├── Class.hs | |
| │ │ │ │ │ ├── Instance.hs | |
| │ │ │ │ │ ├── Interface.hs | |
| │ │ │ │ │ ├── ModuleAlias.hs | |
| │ │ │ │ │ ├── OpPrec.hs | |
| │ │ │ │ │ ├── TypeConstructor.hs | |
| │ │ │ │ │ ├── Type.hs | |
| │ │ │ │ │ └── Value.hs | |
| │ │ │ │ ├── Exports.hs | |
| │ │ │ │ ├── Files | |
| │ │ │ │ │ └── CymakePath.hs | |
| │ │ │ │ ├── Generators | |
| │ │ │ │ │ ├── GenAbstractCurry.hs | |
| │ │ │ │ │ ├── GenFlatCurry.hs | |
| │ │ │ │ │ ├── GenTypeAnnotatedFlatCurry.hs | |
| │ │ │ │ │ └── GenTypedFlatCurry.hs | |
| │ │ │ │ ├── Generators.hs | |
| │ │ │ │ ├── Html | |
| │ │ │ │ │ ├── CurryHtml.hs | |
| │ │ │ │ │ └── SyntaxColoring.hs | |
| │ │ │ │ ├── IL | |
| │ │ │ │ │ ├── Pretty.hs | |
| │ │ │ │ │ ├── ShowModule.hs | |
| │ │ │ │ │ ├── Type.hs | |
| │ │ │ │ │ └── Typing.hs | |
| │ │ │ │ ├── IL.hs | |
| │ │ │ │ ├── Imports.hs | |
| │ │ │ │ ├── Interfaces.hs | |
| │ │ │ │ ├── Modules.hs | |
| │ │ │ │ ├── TokenStream.hs | |
| │ │ │ │ ├── Transformations | |
| │ │ │ │ │ ├── CaseCompletion.hs | |
| │ │ │ │ │ ├── CurryToIL.hs | |
| │ │ │ │ │ ├── Derive.hs | |
| │ │ │ │ │ ├── Desugar.hs | |
| │ │ │ │ │ ├── Dictionary.hs | |
| │ │ │ │ │ ├── Lift.hs | |
| │ │ │ │ │ ├── Newtypes.hs | |
| │ │ │ │ │ ├── Qual.hs | |
| │ │ │ │ │ └── Simplify.hs | |
| │ │ │ │ └── Transformations.hs | |
| │ │ │ └── test | |
| │ │ │ ├── fail | |
| │ │ │ │ ├── Bool.curry | |
| │ │ │ │ ├── ErrorMultipleSignature.curry | |
| │ │ │ │ ├── ExportCheck | |
| │ │ │ │ │ ├── AmbiguousName.curry | |
| │ │ │ │ │ ├── AmbiguousType.curry | |
| │ │ │ │ │ ├── ModuleNotImported.curry | |
| │ │ │ │ │ ├── MultipleName.curry | |
| │ │ │ │ │ ├── MultipleType.curry | |
| │ │ │ │ │ ├── NoDataType.curry | |
| │ │ │ │ │ ├── OutsideTypeConstructor.curry | |
| │ │ │ │ │ ├── OutsideTypeLabel.curry | |
| │ │ │ │ │ ├── UndefinedElement.curry | |
| │ │ │ │ │ ├── UndefinedName.curry | |
| │ │ │ │ │ └── UndefinedType.curry | |
| │ │ │ │ ├── FP_Cyclic.curry | |
| │ │ │ │ ├── FP_NonGlobal.curry | |
| │ │ │ │ ├── FP_Restrictions.curry | |
| │ │ │ │ ├── ImportError.curry | |
| │ │ │ │ ├── KindCheck.curry | |
| │ │ │ │ ├── MultipleArities.curry | |
| │ │ │ │ ├── MultipleDefinitions.curry | |
| │ │ │ │ ├── MultiplePrecedence.curry | |
| │ │ │ │ ├── PatternRestrictions.curry | |
| │ │ │ │ ├── PragmaError.curry | |
| │ │ │ │ ├── PrecedenceRange.curry | |
| │ │ │ │ ├── Prelude.curry | |
| │ │ │ │ ├── RecordLabelIDs.curry | |
| │ │ │ │ ├── RecursiveTypeSyn.curry | |
| │ │ │ │ ├── SyntaxError.curry | |
| │ │ │ │ ├── TypedFreeVariables.curry | |
| │ │ │ │ ├── TypeError1.curry | |
| │ │ │ │ └── TypeError2.curry | |
| │ │ │ ├── pass | |
| │ │ │ │ ├── AbstractCurryBug.curry | |
| │ │ │ │ ├── ACVisibility.curry | |
| │ │ │ │ ├── AnonymVar.curry | |
| │ │ │ │ ├── B | |
| │ │ │ │ │ └── C.curry | |
| │ │ │ │ ├── CaseComplete.curry | |
| │ │ │ │ ├── DefaultPrecedence.curry | |
| │ │ │ │ ├── Dequeue.curry | |
| │ │ │ │ ├── ExplicitLayout.curry | |
| │ │ │ │ ├── FCase.curry | |
| │ │ │ │ ├── FP_Lifting.curry | |
| │ │ │ │ ├── FP_NonCyclic.curry | |
| │ │ │ │ ├── FP_NonLinearity.curry | |
| │ │ │ │ ├── FunctionalPatterns.curry | |
| │ │ │ │ ├── HaskellRecords.curry | |
| │ │ │ │ ├── Hierarchical.curry | |
| │ │ │ │ ├── Infix.curry | |
| │ │ │ │ ├── Inline.curry | |
| │ │ │ │ ├── Lambda.curry | |
| │ │ │ │ ├── List.curry | |
| │ │ │ │ ├── Maybe.curry | |
| │ │ │ │ ├── NegLit.curry | |
| │ │ │ │ ├── Newtype1.curry | |
| │ │ │ │ ├── Newtype2.curry | |
| │ │ │ │ ├── NonLinearLHS.curry | |
| │ │ │ │ ├── OperatorDefinition.curry | |
| │ │ │ │ ├── PatDecl.curry | |
| │ │ │ │ ├── Prelude.curry | |
| │ │ │ │ ├── Pretty.curry | |
| │ │ │ │ ├── RecordsPolymorphism.curry | |
| │ │ │ │ ├── RecordTest1.curry | |
| │ │ │ │ ├── RecordTest2.curry | |
| │ │ │ │ ├── RecordTest3.curry | |
| │ │ │ │ ├── ReexportTest.curry | |
| │ │ │ │ ├── SelfExport.curry | |
| │ │ │ │ ├── Set.curry | |
| │ │ │ │ ├── SpaceLeak.curry | |
| │ │ │ │ ├── StringGap.curry | |
| │ │ │ │ ├── TyConsTest.curry | |
| │ │ │ │ ├── TypedExpr.curry | |
| │ │ │ │ ├── UntypedAcy.curry | |
| │ │ │ │ └── Unzip.curry | |
| │ │ │ ├── TestFrontend.hs | |
| │ │ │ └── warning | |
| │ │ │ ├── AliasClash.curry | |
| │ │ │ ├── Case1.curry | |
| │ │ │ ├── Case2.curry | |
| │ │ │ ├── CaseModeH.curry | |
| │ │ │ ├── CaseModeP.curry | |
| │ │ │ ├── CheckSignature.curry | |
| │ │ │ ├── List.curry | |
| │ │ │ ├── Maybe.curry | |
| │ │ │ ├── NonExhaustivePattern.curry | |
| │ │ │ ├── OverlappingPatterns.curry | |
| │ │ │ ├── Prelude.curry | |
| │ │ │ ├── ShadowingSymbols.curry | |
| │ │ │ ├── TabCharacter.curry | |
| │ │ │ └── UnexportedFunction.curry | |
| │ │ ├── LICENSE | |
| │ │ ├── Makefile | |
| │ │ └── README.md | |
| │ ├── GITINSTALL.txt | |
| │ ├── include | |
| │ │ ├── currydoc.css | |
| │ │ └── currydoc.tex | |
| │ ├── INSTALL.txt | |
| │ ├── lib | |
| │ │ ├── AllLibraries.curry | |
| │ │ ├── Char.curry | |
| │ │ ├── Debug.curry | |
| │ │ ├── Directory.curry | |
| │ │ ├── Directory.pakcs | |
| │ │ ├── Distribution.curry | |
| │ │ ├── Distribution.pakcs | |
| │ │ ├── Either.curry | |
| │ │ ├── ErrorState.curry | |
| │ │ ├── FileGoodies.curry | |
| │ │ ├── FilePath.curry | |
| │ │ ├── Float.curry | |
| │ │ ├── Float.pakcs | |
| │ │ ├── Function.curry | |
| │ │ ├── FunctionInversion.curry | |
| │ │ ├── GetOpt.curry | |
| │ │ ├── Global.curry | |
| │ │ ├── Global.pakcs | |
| │ │ ├── Integer.curry | |
| │ │ ├── IO.curry | |
| │ │ ├── IOExts.curry | |
| │ │ ├── IOExts.pakcs | |
| │ │ ├── IO.pakcs | |
| │ │ ├── List.curry | |
| │ │ ├── Makefile | |
| │ │ ├── Maybe.curry | |
| │ │ ├── Prelude.curry | |
| │ │ ├── Prelude.pakcs | |
| │ │ ├── Read.curry | |
| │ │ ├── ReadNumeric.curry | |
| │ │ ├── ReadShowTerm.curry | |
| │ │ ├── ReadShowTerm.pakcs | |
| │ │ ├── ShowS.curry | |
| │ │ ├── Sort.curry | |
| │ │ ├── State.curry | |
| │ │ ├── System.curry | |
| │ │ ├── System.pakcs | |
| │ │ ├── Test | |
| │ │ │ ├── Prop | |
| │ │ │ │ └── Types.curry | |
| │ │ │ └── Prop.curry | |
| │ │ ├── test.sh | |
| │ │ ├── Time.curry | |
| │ │ ├── Time.pakcs | |
| │ │ ├── Unsafe.curry | |
| │ │ ├── Unsafe.pakcs | |
| │ │ └── VERSION | |
| │ ├── LICENSE | |
| │ ├── Makefile | |
| │ ├── man | |
| │ │ ├── cleancurry.1 | |
| │ │ ├── cypm.1 | |
| │ │ ├── pakcs.1 | |
| │ │ └── runcurry.1 | |
| │ ├── OLDRELNOTES.html | |
| │ ├── pakcsinitrc | |
| │ ├── pakcsrc.default | |
| │ ├── README | |
| │ ├── RELNOTES.txt | |
| │ ├── RESOURCES.html | |
| │ ├── scripts | |
| │ │ ├── cleancurry.sh | |
| │ │ ├── configure-pakcs | |
| │ │ ├── Makefile | |
| │ │ ├── makesavedstate | |
| │ │ ├── pakcs-fcypp.sh | |
| │ │ ├── pakcsinitrc.sh | |
| │ │ ├── pakcs-makecgi.sh | |
| │ │ ├── pakcs-makesavedstate.sh | |
| │ │ └── pakcs.sh | |
| │ ├── src | |
| │ │ ├── basics.pl | |
| │ │ ├── block2freeze.pl | |
| │ │ ├── c2p.pl | |
| │ │ ├── compiler.pl | |
| │ │ ├── evaluator.pl | |
| │ │ ├── external.pl | |
| │ │ ├── lib_src | |
| │ │ │ ├── prim_clpfd.pl | |
| │ │ │ ├── prim_clpr.pl | |
| │ │ │ ├── prim_debug_profile.pl | |
| │ │ │ ├── prim_directory.pl | |
| │ │ │ ├── prim_distribution.pl | |
| │ │ │ ├── prim_dynamic.pl | |
| │ │ │ ├── prim_flat.pl | |
| │ │ │ ├── prim_float.pl | |
| │ │ │ ├── prim_global.pl | |
| │ │ │ ├── prim_globalvar.pl | |
| │ │ │ ├── prim_ioexts.pl | |
| │ │ │ ├── prim_io.pl | |
| │ │ │ ├── prim_ports.pl | |
| │ │ │ ├── prim_profileprologdata.pl | |
| │ │ │ ├── prim_readshowterm.pl | |
| │ │ │ ├── prim_socket.pl | |
| │ │ │ ├── prim_standard.pl | |
| │ │ │ ├── prim_system.pl | |
| │ │ │ ├── prim_time.pl | |
| │ │ │ └── prim_unsafe.pl | |
| │ │ ├── libswi | |
| │ │ │ ├── prim_clpfd.pl | |
| │ │ │ ├── prim_clpr.pl | |
| │ │ │ ├── prim_debug_profile.pl | |
| │ │ │ ├── prim_directory.pl | |
| │ │ │ ├── prim_distribution.pl | |
| │ │ │ ├── prim_dynamic.pl | |
| │ │ │ ├── prim_flat.pl | |
| │ │ │ ├── prim_float.pl | |
| │ │ │ ├── prim_global.pl | |
| │ │ │ ├── prim_globalvar.pl | |
| │ │ │ ├── prim_ioexts.pl | |
| │ │ │ ├── prim_io.pl | |
| │ │ │ ├── prim_ports.pl | |
| │ │ │ ├── prim_profileprologdata.pl | |
| │ │ │ ├── prim_readshowterm.pl | |
| │ │ │ ├── prim_socket.pl | |
| │ │ │ ├── prim_standard.pl | |
| │ │ │ ├── prim_system.pl | |
| │ │ │ ├── prim_time.pl | |
| │ │ │ └── prim_unsafe.pl | |
| │ │ ├── loader.pl | |
| │ │ ├── Makefile | |
| │ │ ├── pakcs | |
| │ │ ├── pakcsversion.pl | |
| │ │ ├── prologbasics.pl | |
| │ │ ├── readFlcFromFcy.pl | |
| │ │ ├── readXml.pl | |
| │ │ ├── sicstusbasics.pl | |
| │ │ ├── sicstus_processing.pl | |
| │ │ ├── swibasics.pl | |
| │ │ └── version.pl | |
| │ ├── testsuite | |
| │ │ ├── LanguageTests | |
| │ │ │ ├── TestAsPattern.curry | |
| │ │ │ ├── TestCase.curry | |
| │ │ │ ├── TestFCase.curry | |
| │ │ │ ├── TestFuncPattern.curry | |
| │ │ │ ├── TestFunctional.curry | |
| │ │ │ ├── TestHigher.curry | |
| │ │ │ ├── TestInfinite.curry | |
| │ │ │ ├── TestLetRec.curry | |
| │ │ │ ├── TestNarrowing.curry | |
| │ │ │ ├── TestNondet.curry | |
| │ │ │ ├── TestNonLinearPattern.curry | |
| │ │ │ └── TestRecords.curry | |
| │ │ ├── LibraryTests | |
| │ │ │ ├── TestDirectory.curry | |
| │ │ │ ├── TestGlobal.curry | |
| │ │ │ ├── TestInteger.curry | |
| │ │ │ ├── TestIOExts.curry | |
| │ │ │ ├── TestList.curry | |
| │ │ │ ├── TestPrelude.curry | |
| │ │ │ ├── TestSort.curry | |
| │ │ │ └── TestSystem.curry | |
| │ │ ├── README | |
| │ │ ├── SpecialTests | |
| │ │ │ ├── rev.curry | |
| │ │ │ ├── TestIO.curry | |
| │ │ │ ├── TestPolySubExp.curry | |
| │ │ │ └── TestUnification.curry | |
| │ │ ├── test.sh | |
| │ │ └── TypeclassTests | |
| │ │ ├── TestBinInt.curry | |
| │ │ ├── TestClassInst.curry | |
| │ │ ├── TestDefault.curry | |
| │ │ ├── TestDeriving.curry | |
| │ │ ├── TestDoList.curry | |
| │ │ ├── TestMaybeMonad.curry | |
| │ │ ├── TestNat.curry | |
| │ │ └── TestReadShow.curry | |
| │ └── tools | |
| │ ├── emacs | |
| │ │ ├── curry-decl-scan.el | |
| │ │ ├── curry-doc.el | |
| │ │ ├── curry-font-lock.el | |
| │ │ ├── curry-indent.el | |
| │ │ ├── curry-mode.el | |
| │ │ ├── curry-pakcs.el | |
| │ │ ├── curry-simple-indent.el | |
| │ │ └── README | |
| │ ├── gedit | |
| │ │ ├── curry.lang | |
| │ │ ├── curry-literate.lang | |
| │ │ └── README.md | |
| │ ├── README | |
| │ └── rlwrap | |
| └── share | |
| └── emacs | |
| └── site-lisp | |
| └── curry-pakcs -> /nix/store/a82r30nirl2iysgm9knazl3f3c5kggq3-pakcs-2.1.1/pakcs/tools/emacs | |
| 158 directories, 730 files |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment