├── .gitattributes ├── .github ├── ISSUE_TEMPLATE │ ├── bug-report.md │ └── feature-request.md ├── PULL_REQUEST_TEMPLATE.md ├── scripts │ └── slug.sh └── workflows │ └── ci-pipeline.yml ├── .gitignore ├── .hlint.yaml ├── CHANGELOG.md ├── CODE_OF_CONDUCT.md ├── CONTRIBUTING.md ├── LICENSE ├── README.md ├── Setup.hs ├── base ├── Debug │ └── Trace.toml ├── FreeC │ └── NonDet.toml ├── Prelude.toml ├── Test │ └── QuickCheck.toml ├── agda │ ├── Base │ │ ├── Extensionality.agda │ │ ├── Free.agda │ │ ├── Free │ │ │ ├── Instance │ │ │ │ ├── Identity.agda │ │ │ │ ├── Identity │ │ │ │ │ └── Properties.agda │ │ │ │ ├── Maybe.agda │ │ │ │ └── Maybe │ │ │ │ │ └── Properties.agda │ │ │ └── Properties.agda │ │ ├── Isomorphism.agda │ │ ├── Partial.agda │ │ ├── Prelude.agda │ │ └── Prelude │ │ │ ├── Bool.agda │ │ │ ├── Integer.agda │ │ │ ├── List.agda │ │ │ ├── Pair.agda │ │ │ └── Unit.agda │ └── base.agda-lib └── coq │ ├── Debug │ └── Trace.v │ ├── Free.v │ ├── Free │ ├── Class.v │ ├── Class │ │ ├── Handler.v │ │ ├── Injectable.v │ │ ├── Normalform.v │ │ ├── Partial.v │ │ ├── ShareableArgs.v │ │ └── Traceable.v │ ├── ForFree.v │ ├── Handlers.v │ ├── Induction.v │ ├── Instance │ │ ├── Comb.v │ │ ├── Error.v │ │ ├── Identity.v │ │ ├── Maybe.v │ │ ├── ND.v │ │ ├── Share.v │ │ └── Trace.v │ ├── Monad.v │ ├── Strategy.v │ ├── Strategy │ │ ├── CallByName.v │ │ ├── CallByNeed.v │ │ └── CallByValue.v │ ├── Tactic │ │ ├── ProveInd.v │ │ └── Simplify.v │ └── Util │ │ ├── All.v │ │ ├── Search.v │ │ ├── Sharing.v │ │ └── Void.v │ ├── FreeC │ └── NonDet.v │ ├── Prelude.v │ ├── Prelude │ ├── Bool.v │ ├── Integer.v │ ├── List.v │ ├── Pair.v │ └── Unit.v │ ├── Test │ └── QuickCheck.v │ └── _CoqProject ├── cabal.project ├── doc ├── CustomPragma │ └── DecreasingArgumentPragma.md ├── ExperimentalFeatures │ └── PatternMatchingCompilation.md ├── ModuleInterfaceFileFormat.md └── ProvingQuickCheckProperties.md ├── example ├── .gitignore ├── Base │ ├── NormalizationTests.v │ ├── SharingProofs.v │ ├── Strategy.hs │ └── StrategyProofs.v ├── CaseStudyHuttonsRazor │ ├── Extra │ │ ├── FreeDB.v │ │ ├── Pureness.v │ │ └── Tactic.v │ ├── README.md │ ├── Razor.hs │ ├── RazorProofs.v │ ├── RazorProofsMaybe.v │ ├── RazorProofsMaybePretty.v │ ├── RazorProofsPureCodes.v │ ├── RazorProofsPureCodesPretty.v │ └── _CoqProject ├── Data │ ├── Function.hs │ ├── List.hs │ ├── Maybe.hs │ └── Tuple.hs ├── DecreasingArgumentPragma.hs ├── PatternMatching.hs ├── Proofs │ ├── AppendAssoc.hs │ ├── AppendAssocProofs.v │ ├── ConsUncons.hs │ ├── ConsUnconsProofs.v │ ├── ListFunctor.hs │ ├── ListFunctorProofs.v │ ├── ReverseInvolutive.hs │ ├── ReverseInvolutiveProofs.v │ ├── Tracing.hs │ ├── TracingProofs.v │ ├── TypeclassInstances.hs │ └── TypeclassInstancesProofs.v ├── Queue │ ├── Queue.v │ ├── WithPatternMatching │ │ ├── Lemmas.hs │ │ ├── Props.hs │ │ ├── Queue.hs │ │ ├── QueueI.hs │ │ └── Util.hs │ └── WithoutPatternMatching │ │ ├── Lemmas.hs │ │ ├── Props.hs │ │ ├── Queue.hs │ │ ├── QueueI.hs │ │ └── Util.hs └── _CoqProject ├── floskell.json ├── floskell.toml ├── free-compiler.cabal ├── img ├── logo.png ├── logo.svg └── tool │ └── svg-to-png.sh ├── src ├── exe │ ├── FreeC │ │ ├── Application │ │ │ ├── Debug.hs │ │ │ ├── Option │ │ │ │ ├── Help.hs │ │ │ │ └── Version.hs │ │ │ ├── Options.hs │ │ │ └── Options │ │ │ │ ├── Descriptors.hs │ │ │ │ └── Parser.hs │ │ ├── Backend.hs │ │ ├── Backend.hs-boot │ │ ├── Frontend.hs │ │ ├── Frontend.hs-boot │ │ └── Monad │ │ │ └── Application.hs │ └── Main.hs ├── lib │ └── FreeC │ │ ├── Backend │ │ ├── Agda │ │ │ ├── Base.hs │ │ │ ├── Converter.hs │ │ │ ├── Converter │ │ │ │ ├── Arg.hs │ │ │ │ ├── Expr.hs │ │ │ │ ├── Free.hs │ │ │ │ ├── FuncDecl.hs │ │ │ │ ├── Module.hs │ │ │ │ ├── Size.hs │ │ │ │ ├── Type.hs │ │ │ │ └── TypeDecl.hs │ │ │ ├── Keywords.hs │ │ │ ├── Pretty.hs │ │ │ └── Syntax.hs │ │ └── Coq │ │ │ ├── Analysis │ │ │ ├── ConstantArguments.hs │ │ │ └── DecreasingArguments.hs │ │ │ ├── Base.hs │ │ │ ├── Converter.hs │ │ │ ├── Converter │ │ │ ├── Arg.hs │ │ │ ├── Expr.hs │ │ │ ├── Free.hs │ │ │ ├── FuncDecl.hs │ │ │ ├── FuncDecl │ │ │ │ ├── Common.hs │ │ │ │ ├── NonRec.hs │ │ │ │ ├── Rec.hs │ │ │ │ └── Rec │ │ │ │ │ ├── WithHelpers.hs │ │ │ │ │ └── WithSections.hs │ │ │ ├── Module.hs │ │ │ ├── Type.hs │ │ │ ├── TypeDecl.hs │ │ │ └── TypeDecl │ │ │ │ ├── InductionScheme.hs │ │ │ │ └── TypeclassInstances.hs │ │ │ ├── Keywords.hs │ │ │ ├── Pretty.hs │ │ │ └── Syntax.hs │ │ ├── Environment.hs │ │ ├── Environment │ │ ├── Entry.hs │ │ ├── Fresh.hs │ │ ├── LookupOrFail.hs │ │ ├── ModuleInterface.hs │ │ ├── ModuleInterface │ │ │ ├── Decoder.hs │ │ │ └── Encoder.hs │ │ └── Renamer.hs │ │ ├── Frontend │ │ ├── Haskell │ │ │ ├── Parser.hs │ │ │ ├── PatternMatching.hs │ │ │ ├── Pretty.hs │ │ │ ├── Simplifier.hs │ │ │ └── SrcSpanConverter.hs │ │ └── IR │ │ │ ├── Parser.hs │ │ │ ├── PragmaParser.hs │ │ │ ├── Scanner.hs │ │ │ └── Token.hs │ │ ├── IR │ │ ├── Base │ │ │ └── Prelude.hs │ │ ├── DependencyGraph.hs │ │ ├── Inlining.hs │ │ ├── Reference.hs │ │ ├── Similar.hs │ │ ├── SrcSpan.hs │ │ ├── Strip.hs │ │ ├── Subst.hs │ │ ├── Subterm.hs │ │ ├── Syntax.hs │ │ ├── Syntax │ │ │ ├── Expr.hs │ │ │ ├── FuncDecl.hs │ │ │ ├── Module.hs │ │ │ ├── Name.hs │ │ │ ├── Pragma.hs │ │ │ ├── Type.hs │ │ │ ├── TypeDecl.hs │ │ │ ├── TypeScheme.hs │ │ │ └── TypeVarDecl.hs │ │ ├── TypeScheme.hs │ │ ├── TypeSynExpansion.hs │ │ └── Unification.hs │ │ ├── LiftedIR │ │ ├── Converter │ │ │ ├── Expr.hs │ │ │ └── Type.hs │ │ ├── Effect.hs │ │ ├── Syntax.hs │ │ └── Syntax │ │ │ ├── Expr.hs │ │ │ ├── Name.hs │ │ │ └── Type.hs │ │ ├── Monad │ │ ├── Class │ │ │ └── Hoistable.hs │ │ ├── Converter.hs │ │ └── Reporter.hs │ │ ├── Pass.hs │ │ ├── Pass │ │ ├── CompletePatternPass.hs │ │ ├── DefineDeclPass.hs │ │ ├── DependencyAnalysisPass.hs │ │ ├── EffectAnalysisPass.hs │ │ ├── EtaConversionPass.hs │ │ ├── ExportPass.hs │ │ ├── FlattenExprPass.hs │ │ ├── ImplicitPreludePass.hs │ │ ├── ImportPass.hs │ │ ├── InlineLambdaPass.hs │ │ ├── KindCheckPass.hs │ │ ├── LetSortPass.hs │ │ ├── PragmaPass.hs │ │ ├── QualifierPass.hs │ │ ├── ResolverPass.hs │ │ ├── TypeInferencePass.hs │ │ └── TypeSignaturePass.hs │ │ ├── Pipeline.hs │ │ ├── Pretty.hs │ │ └── Util │ │ ├── Config.hs │ │ ├── Parsec.hs │ │ └── Predicate.hs └── test │ ├── FreeC │ ├── Backend │ │ ├── Agda │ │ │ ├── Converter │ │ │ │ ├── FuncDeclTests.hs │ │ │ │ └── TypeDeclTests.hs │ │ │ └── Tests.hs │ │ └── Coq │ │ │ ├── Analysis │ │ │ ├── ConstantArgumentsTests.hs │ │ │ └── DecreasingArgumentsTests.hs │ │ │ ├── Converter │ │ │ ├── ExprTests.hs │ │ │ ├── FuncDecl │ │ │ │ ├── NonRecTests.hs │ │ │ │ ├── Rec │ │ │ │ │ ├── WithHelpersTests.hs │ │ │ │ │ └── WithSectionsTests.hs │ │ │ │ └── RecTests.hs │ │ │ ├── FuncDeclTests.hs │ │ │ ├── TypeDeclTests.hs │ │ │ └── TypeTests.hs │ │ │ ├── ConverterTests.hs │ │ │ └── Tests.hs │ ├── Environment │ │ ├── FreshTests.hs │ │ └── RenamerTests.hs │ ├── EnvironmentTests.hs │ ├── Frontend │ │ ├── Haskell │ │ │ ├── SimplifierTests.hs │ │ │ └── Tests.hs │ │ └── IR │ │ │ ├── ParserTests.hs │ │ │ ├── ScannerTests.hs │ │ │ └── Tests.hs │ ├── IR │ │ ├── InliningTests.hs │ │ ├── ReferenceTests.hs │ │ ├── SimilarTests.hs │ │ ├── SubstTests.hs │ │ ├── SubtermTests.hs │ │ ├── Syntax │ │ │ └── ModuleTests.hs │ │ ├── SyntaxTests.hs │ │ ├── Tests.hs │ │ ├── TypeSynExpansionTests.hs │ │ └── UnificationTests.hs │ ├── Monad │ │ ├── Class │ │ │ └── Testable.hs │ │ └── ReporterTests.hs │ ├── Pass │ │ ├── CompletePatternPassTests.hs │ │ ├── EffectAnalysisPassTests.hs │ │ ├── EtaConversionPassTests.hs │ │ ├── ExportPassTests.hs │ │ ├── FlattenExprPassTests.hs │ │ ├── InlineLambdaPassTests.hs │ │ ├── KindCheckPassTests.hs │ │ ├── LetSortPassTests.hs │ │ ├── ResolverPassTests.hs │ │ └── TypeInferencePassTests.hs │ ├── PipelineTests.hs │ └── Test │ │ ├── Arbitrary.hs │ │ ├── Environment.hs │ │ ├── Expectations.hs │ │ └── Parser.hs │ └── Spec.hs └── tool ├── check-agda.sh ├── check-formatting.sh ├── compile-coq.sh ├── format-code.sh ├── full-test.sh ├── make-docs.sh ├── repl.sh ├── run.sh ├── test.sh └── update-floskell-config.sh /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/.gitattributes -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/bug-report.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/.github/ISSUE_TEMPLATE/bug-report.md -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/feature-request.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/.github/ISSUE_TEMPLATE/feature-request.md -------------------------------------------------------------------------------- /.github/PULL_REQUEST_TEMPLATE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/.github/PULL_REQUEST_TEMPLATE.md -------------------------------------------------------------------------------- /.github/scripts/slug.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/.github/scripts/slug.sh -------------------------------------------------------------------------------- /.github/workflows/ci-pipeline.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/.github/workflows/ci-pipeline.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/.gitignore -------------------------------------------------------------------------------- /.hlint.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/.hlint.yaml -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/README.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /base/Debug/Trace.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/Debug/Trace.toml -------------------------------------------------------------------------------- /base/FreeC/NonDet.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/FreeC/NonDet.toml -------------------------------------------------------------------------------- /base/Prelude.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/Prelude.toml -------------------------------------------------------------------------------- /base/Test/QuickCheck.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/Test/QuickCheck.toml -------------------------------------------------------------------------------- /base/agda/Base/Extensionality.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/agda/Base/Extensionality.agda -------------------------------------------------------------------------------- /base/agda/Base/Free.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/agda/Base/Free.agda -------------------------------------------------------------------------------- /base/agda/Base/Free/Instance/Identity.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/agda/Base/Free/Instance/Identity.agda -------------------------------------------------------------------------------- /base/agda/Base/Free/Instance/Identity/Properties.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/agda/Base/Free/Instance/Identity/Properties.agda -------------------------------------------------------------------------------- /base/agda/Base/Free/Instance/Maybe.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/agda/Base/Free/Instance/Maybe.agda -------------------------------------------------------------------------------- /base/agda/Base/Free/Instance/Maybe/Properties.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/agda/Base/Free/Instance/Maybe/Properties.agda -------------------------------------------------------------------------------- /base/agda/Base/Free/Properties.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/agda/Base/Free/Properties.agda -------------------------------------------------------------------------------- /base/agda/Base/Isomorphism.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/agda/Base/Isomorphism.agda -------------------------------------------------------------------------------- /base/agda/Base/Partial.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/agda/Base/Partial.agda -------------------------------------------------------------------------------- /base/agda/Base/Prelude.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/agda/Base/Prelude.agda -------------------------------------------------------------------------------- /base/agda/Base/Prelude/Bool.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/agda/Base/Prelude/Bool.agda -------------------------------------------------------------------------------- /base/agda/Base/Prelude/Integer.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/agda/Base/Prelude/Integer.agda -------------------------------------------------------------------------------- /base/agda/Base/Prelude/List.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/agda/Base/Prelude/List.agda -------------------------------------------------------------------------------- /base/agda/Base/Prelude/Pair.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/agda/Base/Prelude/Pair.agda -------------------------------------------------------------------------------- /base/agda/Base/Prelude/Unit.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/agda/Base/Prelude/Unit.agda -------------------------------------------------------------------------------- /base/agda/base.agda-lib: -------------------------------------------------------------------------------- 1 | name: base 2 | depend: standard-library 3 | include: . 4 | -------------------------------------------------------------------------------- /base/coq/Debug/Trace.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/coq/Debug/Trace.v -------------------------------------------------------------------------------- /base/coq/Free.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/coq/Free.v -------------------------------------------------------------------------------- /base/coq/Free/Class.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/coq/Free/Class.v -------------------------------------------------------------------------------- /base/coq/Free/Class/Handler.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/coq/Free/Class/Handler.v -------------------------------------------------------------------------------- /base/coq/Free/Class/Injectable.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/coq/Free/Class/Injectable.v -------------------------------------------------------------------------------- /base/coq/Free/Class/Normalform.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/coq/Free/Class/Normalform.v -------------------------------------------------------------------------------- /base/coq/Free/Class/Partial.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/coq/Free/Class/Partial.v -------------------------------------------------------------------------------- /base/coq/Free/Class/ShareableArgs.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/coq/Free/Class/ShareableArgs.v -------------------------------------------------------------------------------- /base/coq/Free/Class/Traceable.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/coq/Free/Class/Traceable.v -------------------------------------------------------------------------------- /base/coq/Free/ForFree.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/coq/Free/ForFree.v -------------------------------------------------------------------------------- /base/coq/Free/Handlers.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/coq/Free/Handlers.v -------------------------------------------------------------------------------- /base/coq/Free/Induction.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/coq/Free/Induction.v -------------------------------------------------------------------------------- /base/coq/Free/Instance/Comb.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/coq/Free/Instance/Comb.v -------------------------------------------------------------------------------- /base/coq/Free/Instance/Error.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/coq/Free/Instance/Error.v -------------------------------------------------------------------------------- /base/coq/Free/Instance/Identity.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/coq/Free/Instance/Identity.v -------------------------------------------------------------------------------- /base/coq/Free/Instance/Maybe.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/coq/Free/Instance/Maybe.v -------------------------------------------------------------------------------- /base/coq/Free/Instance/ND.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/coq/Free/Instance/ND.v -------------------------------------------------------------------------------- /base/coq/Free/Instance/Share.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/coq/Free/Instance/Share.v -------------------------------------------------------------------------------- /base/coq/Free/Instance/Trace.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/coq/Free/Instance/Trace.v -------------------------------------------------------------------------------- /base/coq/Free/Monad.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/coq/Free/Monad.v -------------------------------------------------------------------------------- /base/coq/Free/Strategy.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/coq/Free/Strategy.v -------------------------------------------------------------------------------- /base/coq/Free/Strategy/CallByName.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/coq/Free/Strategy/CallByName.v -------------------------------------------------------------------------------- /base/coq/Free/Strategy/CallByNeed.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/coq/Free/Strategy/CallByNeed.v -------------------------------------------------------------------------------- /base/coq/Free/Strategy/CallByValue.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/coq/Free/Strategy/CallByValue.v -------------------------------------------------------------------------------- /base/coq/Free/Tactic/ProveInd.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/coq/Free/Tactic/ProveInd.v -------------------------------------------------------------------------------- /base/coq/Free/Tactic/Simplify.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/coq/Free/Tactic/Simplify.v -------------------------------------------------------------------------------- /base/coq/Free/Util/All.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/coq/Free/Util/All.v -------------------------------------------------------------------------------- /base/coq/Free/Util/Search.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/coq/Free/Util/Search.v -------------------------------------------------------------------------------- /base/coq/Free/Util/Sharing.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/coq/Free/Util/Sharing.v -------------------------------------------------------------------------------- /base/coq/Free/Util/Void.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/coq/Free/Util/Void.v -------------------------------------------------------------------------------- /base/coq/FreeC/NonDet.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/coq/FreeC/NonDet.v -------------------------------------------------------------------------------- /base/coq/Prelude.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/coq/Prelude.v -------------------------------------------------------------------------------- /base/coq/Prelude/Bool.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/coq/Prelude/Bool.v -------------------------------------------------------------------------------- /base/coq/Prelude/Integer.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/coq/Prelude/Integer.v -------------------------------------------------------------------------------- /base/coq/Prelude/List.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/coq/Prelude/List.v -------------------------------------------------------------------------------- /base/coq/Prelude/Pair.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/coq/Prelude/Pair.v -------------------------------------------------------------------------------- /base/coq/Prelude/Unit.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/coq/Prelude/Unit.v -------------------------------------------------------------------------------- /base/coq/Test/QuickCheck.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/base/coq/Test/QuickCheck.v -------------------------------------------------------------------------------- /base/coq/_CoqProject: -------------------------------------------------------------------------------- 1 | -R . Base 2 | -------------------------------------------------------------------------------- /cabal.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/cabal.project -------------------------------------------------------------------------------- /doc/CustomPragma/DecreasingArgumentPragma.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/doc/CustomPragma/DecreasingArgumentPragma.md -------------------------------------------------------------------------------- /doc/ExperimentalFeatures/PatternMatchingCompilation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/doc/ExperimentalFeatures/PatternMatchingCompilation.md -------------------------------------------------------------------------------- /doc/ModuleInterfaceFileFormat.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/doc/ModuleInterfaceFileFormat.md -------------------------------------------------------------------------------- /doc/ProvingQuickCheckProperties.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/doc/ProvingQuickCheckProperties.md -------------------------------------------------------------------------------- /example/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/.gitignore -------------------------------------------------------------------------------- /example/Base/NormalizationTests.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/Base/NormalizationTests.v -------------------------------------------------------------------------------- /example/Base/SharingProofs.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/Base/SharingProofs.v -------------------------------------------------------------------------------- /example/Base/Strategy.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/Base/Strategy.hs -------------------------------------------------------------------------------- /example/Base/StrategyProofs.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/Base/StrategyProofs.v -------------------------------------------------------------------------------- /example/CaseStudyHuttonsRazor/Extra/FreeDB.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/CaseStudyHuttonsRazor/Extra/FreeDB.v -------------------------------------------------------------------------------- /example/CaseStudyHuttonsRazor/Extra/Pureness.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/CaseStudyHuttonsRazor/Extra/Pureness.v -------------------------------------------------------------------------------- /example/CaseStudyHuttonsRazor/Extra/Tactic.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/CaseStudyHuttonsRazor/Extra/Tactic.v -------------------------------------------------------------------------------- /example/CaseStudyHuttonsRazor/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/CaseStudyHuttonsRazor/README.md -------------------------------------------------------------------------------- /example/CaseStudyHuttonsRazor/Razor.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/CaseStudyHuttonsRazor/Razor.hs -------------------------------------------------------------------------------- /example/CaseStudyHuttonsRazor/RazorProofs.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/CaseStudyHuttonsRazor/RazorProofs.v -------------------------------------------------------------------------------- /example/CaseStudyHuttonsRazor/RazorProofsMaybe.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/CaseStudyHuttonsRazor/RazorProofsMaybe.v -------------------------------------------------------------------------------- /example/CaseStudyHuttonsRazor/RazorProofsMaybePretty.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/CaseStudyHuttonsRazor/RazorProofsMaybePretty.v -------------------------------------------------------------------------------- /example/CaseStudyHuttonsRazor/RazorProofsPureCodes.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/CaseStudyHuttonsRazor/RazorProofsPureCodes.v -------------------------------------------------------------------------------- /example/CaseStudyHuttonsRazor/RazorProofsPureCodesPretty.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/CaseStudyHuttonsRazor/RazorProofsPureCodesPretty.v -------------------------------------------------------------------------------- /example/CaseStudyHuttonsRazor/_CoqProject: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/CaseStudyHuttonsRazor/_CoqProject -------------------------------------------------------------------------------- /example/Data/Function.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/Data/Function.hs -------------------------------------------------------------------------------- /example/Data/List.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/Data/List.hs -------------------------------------------------------------------------------- /example/Data/Maybe.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/Data/Maybe.hs -------------------------------------------------------------------------------- /example/Data/Tuple.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/Data/Tuple.hs -------------------------------------------------------------------------------- /example/DecreasingArgumentPragma.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/DecreasingArgumentPragma.hs -------------------------------------------------------------------------------- /example/PatternMatching.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/PatternMatching.hs -------------------------------------------------------------------------------- /example/Proofs/AppendAssoc.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/Proofs/AppendAssoc.hs -------------------------------------------------------------------------------- /example/Proofs/AppendAssocProofs.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/Proofs/AppendAssocProofs.v -------------------------------------------------------------------------------- /example/Proofs/ConsUncons.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/Proofs/ConsUncons.hs -------------------------------------------------------------------------------- /example/Proofs/ConsUnconsProofs.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/Proofs/ConsUnconsProofs.v -------------------------------------------------------------------------------- /example/Proofs/ListFunctor.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/Proofs/ListFunctor.hs -------------------------------------------------------------------------------- /example/Proofs/ListFunctorProofs.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/Proofs/ListFunctorProofs.v -------------------------------------------------------------------------------- /example/Proofs/ReverseInvolutive.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/Proofs/ReverseInvolutive.hs -------------------------------------------------------------------------------- /example/Proofs/ReverseInvolutiveProofs.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/Proofs/ReverseInvolutiveProofs.v -------------------------------------------------------------------------------- /example/Proofs/Tracing.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/Proofs/Tracing.hs -------------------------------------------------------------------------------- /example/Proofs/TracingProofs.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/Proofs/TracingProofs.v -------------------------------------------------------------------------------- /example/Proofs/TypeclassInstances.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/Proofs/TypeclassInstances.hs -------------------------------------------------------------------------------- /example/Proofs/TypeclassInstancesProofs.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/Proofs/TypeclassInstancesProofs.v -------------------------------------------------------------------------------- /example/Queue/Queue.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/Queue/Queue.v -------------------------------------------------------------------------------- /example/Queue/WithPatternMatching/Lemmas.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/Queue/WithPatternMatching/Lemmas.hs -------------------------------------------------------------------------------- /example/Queue/WithPatternMatching/Props.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/Queue/WithPatternMatching/Props.hs -------------------------------------------------------------------------------- /example/Queue/WithPatternMatching/Queue.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/Queue/WithPatternMatching/Queue.hs -------------------------------------------------------------------------------- /example/Queue/WithPatternMatching/QueueI.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/Queue/WithPatternMatching/QueueI.hs -------------------------------------------------------------------------------- /example/Queue/WithPatternMatching/Util.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/Queue/WithPatternMatching/Util.hs -------------------------------------------------------------------------------- /example/Queue/WithoutPatternMatching/Lemmas.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/Queue/WithoutPatternMatching/Lemmas.hs -------------------------------------------------------------------------------- /example/Queue/WithoutPatternMatching/Props.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/Queue/WithoutPatternMatching/Props.hs -------------------------------------------------------------------------------- /example/Queue/WithoutPatternMatching/Queue.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/Queue/WithoutPatternMatching/Queue.hs -------------------------------------------------------------------------------- /example/Queue/WithoutPatternMatching/QueueI.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/Queue/WithoutPatternMatching/QueueI.hs -------------------------------------------------------------------------------- /example/Queue/WithoutPatternMatching/Util.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/Queue/WithoutPatternMatching/Util.hs -------------------------------------------------------------------------------- /example/_CoqProject: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/example/_CoqProject -------------------------------------------------------------------------------- /floskell.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/floskell.json -------------------------------------------------------------------------------- /floskell.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/floskell.toml -------------------------------------------------------------------------------- /free-compiler.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/free-compiler.cabal -------------------------------------------------------------------------------- /img/logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/img/logo.png -------------------------------------------------------------------------------- /img/logo.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/img/logo.svg -------------------------------------------------------------------------------- /img/tool/svg-to-png.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/img/tool/svg-to-png.sh -------------------------------------------------------------------------------- /src/exe/FreeC/Application/Debug.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/exe/FreeC/Application/Debug.hs -------------------------------------------------------------------------------- /src/exe/FreeC/Application/Option/Help.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/exe/FreeC/Application/Option/Help.hs -------------------------------------------------------------------------------- /src/exe/FreeC/Application/Option/Version.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/exe/FreeC/Application/Option/Version.hs -------------------------------------------------------------------------------- /src/exe/FreeC/Application/Options.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/exe/FreeC/Application/Options.hs -------------------------------------------------------------------------------- /src/exe/FreeC/Application/Options/Descriptors.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/exe/FreeC/Application/Options/Descriptors.hs -------------------------------------------------------------------------------- /src/exe/FreeC/Application/Options/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/exe/FreeC/Application/Options/Parser.hs -------------------------------------------------------------------------------- /src/exe/FreeC/Backend.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/exe/FreeC/Backend.hs -------------------------------------------------------------------------------- /src/exe/FreeC/Backend.hs-boot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/exe/FreeC/Backend.hs-boot -------------------------------------------------------------------------------- /src/exe/FreeC/Frontend.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/exe/FreeC/Frontend.hs -------------------------------------------------------------------------------- /src/exe/FreeC/Frontend.hs-boot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/exe/FreeC/Frontend.hs-boot -------------------------------------------------------------------------------- /src/exe/FreeC/Monad/Application.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/exe/FreeC/Monad/Application.hs -------------------------------------------------------------------------------- /src/exe/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/exe/Main.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Backend/Agda/Base.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Backend/Agda/Base.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Backend/Agda/Converter.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Backend/Agda/Converter.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Backend/Agda/Converter/Arg.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Backend/Agda/Converter/Arg.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Backend/Agda/Converter/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Backend/Agda/Converter/Expr.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Backend/Agda/Converter/Free.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Backend/Agda/Converter/Free.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Backend/Agda/Converter/FuncDecl.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Backend/Agda/Converter/FuncDecl.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Backend/Agda/Converter/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Backend/Agda/Converter/Module.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Backend/Agda/Converter/Size.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Backend/Agda/Converter/Size.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Backend/Agda/Converter/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Backend/Agda/Converter/Type.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Backend/Agda/Converter/TypeDecl.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Backend/Agda/Converter/TypeDecl.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Backend/Agda/Keywords.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Backend/Agda/Keywords.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Backend/Agda/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Backend/Agda/Pretty.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Backend/Agda/Syntax.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Backend/Agda/Syntax.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Backend/Coq/Analysis/ConstantArguments.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Backend/Coq/Analysis/ConstantArguments.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Backend/Coq/Analysis/DecreasingArguments.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Backend/Coq/Analysis/DecreasingArguments.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Backend/Coq/Base.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Backend/Coq/Base.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Backend/Coq/Converter.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Backend/Coq/Converter.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Backend/Coq/Converter/Arg.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Backend/Coq/Converter/Arg.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Backend/Coq/Converter/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Backend/Coq/Converter/Expr.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Backend/Coq/Converter/Free.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Backend/Coq/Converter/Free.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Backend/Coq/Converter/FuncDecl.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Backend/Coq/Converter/FuncDecl.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Backend/Coq/Converter/FuncDecl/Common.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Backend/Coq/Converter/FuncDecl/Common.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Backend/Coq/Converter/FuncDecl/NonRec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Backend/Coq/Converter/FuncDecl/NonRec.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Backend/Coq/Converter/FuncDecl/Rec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Backend/Coq/Converter/FuncDecl/Rec.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Backend/Coq/Converter/FuncDecl/Rec/WithHelpers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Backend/Coq/Converter/FuncDecl/Rec/WithHelpers.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Backend/Coq/Converter/FuncDecl/Rec/WithSections.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Backend/Coq/Converter/FuncDecl/Rec/WithSections.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Backend/Coq/Converter/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Backend/Coq/Converter/Module.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Backend/Coq/Converter/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Backend/Coq/Converter/Type.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Backend/Coq/Converter/TypeDecl.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Backend/Coq/Converter/TypeDecl.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Backend/Coq/Converter/TypeDecl/InductionScheme.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Backend/Coq/Converter/TypeDecl/InductionScheme.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Backend/Coq/Converter/TypeDecl/TypeclassInstances.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Backend/Coq/Converter/TypeDecl/TypeclassInstances.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Backend/Coq/Keywords.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Backend/Coq/Keywords.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Backend/Coq/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Backend/Coq/Pretty.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Backend/Coq/Syntax.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Backend/Coq/Syntax.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Environment.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Environment.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Environment/Entry.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Environment/Entry.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Environment/Fresh.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Environment/Fresh.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Environment/LookupOrFail.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Environment/LookupOrFail.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Environment/ModuleInterface.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Environment/ModuleInterface.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Environment/ModuleInterface/Decoder.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Environment/ModuleInterface/Decoder.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Environment/ModuleInterface/Encoder.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Environment/ModuleInterface/Encoder.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Environment/Renamer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Environment/Renamer.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Frontend/Haskell/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Frontend/Haskell/Parser.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Frontend/Haskell/PatternMatching.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Frontend/Haskell/PatternMatching.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Frontend/Haskell/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Frontend/Haskell/Pretty.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Frontend/Haskell/Simplifier.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Frontend/Haskell/Simplifier.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Frontend/Haskell/SrcSpanConverter.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Frontend/Haskell/SrcSpanConverter.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Frontend/IR/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Frontend/IR/Parser.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Frontend/IR/PragmaParser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Frontend/IR/PragmaParser.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Frontend/IR/Scanner.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Frontend/IR/Scanner.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Frontend/IR/Token.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Frontend/IR/Token.hs -------------------------------------------------------------------------------- /src/lib/FreeC/IR/Base/Prelude.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/IR/Base/Prelude.hs -------------------------------------------------------------------------------- /src/lib/FreeC/IR/DependencyGraph.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/IR/DependencyGraph.hs -------------------------------------------------------------------------------- /src/lib/FreeC/IR/Inlining.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/IR/Inlining.hs -------------------------------------------------------------------------------- /src/lib/FreeC/IR/Reference.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/IR/Reference.hs -------------------------------------------------------------------------------- /src/lib/FreeC/IR/Similar.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/IR/Similar.hs -------------------------------------------------------------------------------- /src/lib/FreeC/IR/SrcSpan.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/IR/SrcSpan.hs -------------------------------------------------------------------------------- /src/lib/FreeC/IR/Strip.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/IR/Strip.hs -------------------------------------------------------------------------------- /src/lib/FreeC/IR/Subst.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/IR/Subst.hs -------------------------------------------------------------------------------- /src/lib/FreeC/IR/Subterm.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/IR/Subterm.hs -------------------------------------------------------------------------------- /src/lib/FreeC/IR/Syntax.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/IR/Syntax.hs -------------------------------------------------------------------------------- /src/lib/FreeC/IR/Syntax/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/IR/Syntax/Expr.hs -------------------------------------------------------------------------------- /src/lib/FreeC/IR/Syntax/FuncDecl.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/IR/Syntax/FuncDecl.hs -------------------------------------------------------------------------------- /src/lib/FreeC/IR/Syntax/Module.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/IR/Syntax/Module.hs -------------------------------------------------------------------------------- /src/lib/FreeC/IR/Syntax/Name.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/IR/Syntax/Name.hs -------------------------------------------------------------------------------- /src/lib/FreeC/IR/Syntax/Pragma.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/IR/Syntax/Pragma.hs -------------------------------------------------------------------------------- /src/lib/FreeC/IR/Syntax/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/IR/Syntax/Type.hs -------------------------------------------------------------------------------- /src/lib/FreeC/IR/Syntax/TypeDecl.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/IR/Syntax/TypeDecl.hs -------------------------------------------------------------------------------- /src/lib/FreeC/IR/Syntax/TypeScheme.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/IR/Syntax/TypeScheme.hs -------------------------------------------------------------------------------- /src/lib/FreeC/IR/Syntax/TypeVarDecl.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/IR/Syntax/TypeVarDecl.hs -------------------------------------------------------------------------------- /src/lib/FreeC/IR/TypeScheme.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/IR/TypeScheme.hs -------------------------------------------------------------------------------- /src/lib/FreeC/IR/TypeSynExpansion.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/IR/TypeSynExpansion.hs -------------------------------------------------------------------------------- /src/lib/FreeC/IR/Unification.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/IR/Unification.hs -------------------------------------------------------------------------------- /src/lib/FreeC/LiftedIR/Converter/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/LiftedIR/Converter/Expr.hs -------------------------------------------------------------------------------- /src/lib/FreeC/LiftedIR/Converter/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/LiftedIR/Converter/Type.hs -------------------------------------------------------------------------------- /src/lib/FreeC/LiftedIR/Effect.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/LiftedIR/Effect.hs -------------------------------------------------------------------------------- /src/lib/FreeC/LiftedIR/Syntax.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/LiftedIR/Syntax.hs -------------------------------------------------------------------------------- /src/lib/FreeC/LiftedIR/Syntax/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/LiftedIR/Syntax/Expr.hs -------------------------------------------------------------------------------- /src/lib/FreeC/LiftedIR/Syntax/Name.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/LiftedIR/Syntax/Name.hs -------------------------------------------------------------------------------- /src/lib/FreeC/LiftedIR/Syntax/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/LiftedIR/Syntax/Type.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Monad/Class/Hoistable.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Monad/Class/Hoistable.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Monad/Converter.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Monad/Converter.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Monad/Reporter.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Monad/Reporter.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Pass.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Pass.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Pass/CompletePatternPass.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Pass/CompletePatternPass.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Pass/DefineDeclPass.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Pass/DefineDeclPass.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Pass/DependencyAnalysisPass.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Pass/DependencyAnalysisPass.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Pass/EffectAnalysisPass.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Pass/EffectAnalysisPass.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Pass/EtaConversionPass.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Pass/EtaConversionPass.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Pass/ExportPass.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Pass/ExportPass.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Pass/FlattenExprPass.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Pass/FlattenExprPass.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Pass/ImplicitPreludePass.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Pass/ImplicitPreludePass.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Pass/ImportPass.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Pass/ImportPass.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Pass/InlineLambdaPass.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Pass/InlineLambdaPass.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Pass/KindCheckPass.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Pass/KindCheckPass.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Pass/LetSortPass.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Pass/LetSortPass.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Pass/PragmaPass.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Pass/PragmaPass.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Pass/QualifierPass.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Pass/QualifierPass.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Pass/ResolverPass.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Pass/ResolverPass.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Pass/TypeInferencePass.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Pass/TypeInferencePass.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Pass/TypeSignaturePass.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Pass/TypeSignaturePass.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Pipeline.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Pipeline.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Pretty.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Util/Config.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Util/Config.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Util/Parsec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Util/Parsec.hs -------------------------------------------------------------------------------- /src/lib/FreeC/Util/Predicate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/lib/FreeC/Util/Predicate.hs -------------------------------------------------------------------------------- /src/test/FreeC/Backend/Agda/Converter/FuncDeclTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/Backend/Agda/Converter/FuncDeclTests.hs -------------------------------------------------------------------------------- /src/test/FreeC/Backend/Agda/Converter/TypeDeclTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/Backend/Agda/Converter/TypeDeclTests.hs -------------------------------------------------------------------------------- /src/test/FreeC/Backend/Agda/Tests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/Backend/Agda/Tests.hs -------------------------------------------------------------------------------- /src/test/FreeC/Backend/Coq/Analysis/ConstantArgumentsTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/Backend/Coq/Analysis/ConstantArgumentsTests.hs -------------------------------------------------------------------------------- /src/test/FreeC/Backend/Coq/Analysis/DecreasingArgumentsTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/Backend/Coq/Analysis/DecreasingArgumentsTests.hs -------------------------------------------------------------------------------- /src/test/FreeC/Backend/Coq/Converter/ExprTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/Backend/Coq/Converter/ExprTests.hs -------------------------------------------------------------------------------- /src/test/FreeC/Backend/Coq/Converter/FuncDecl/NonRecTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/Backend/Coq/Converter/FuncDecl/NonRecTests.hs -------------------------------------------------------------------------------- /src/test/FreeC/Backend/Coq/Converter/FuncDecl/Rec/WithHelpersTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/Backend/Coq/Converter/FuncDecl/Rec/WithHelpersTests.hs -------------------------------------------------------------------------------- /src/test/FreeC/Backend/Coq/Converter/FuncDecl/Rec/WithSectionsTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/Backend/Coq/Converter/FuncDecl/Rec/WithSectionsTests.hs -------------------------------------------------------------------------------- /src/test/FreeC/Backend/Coq/Converter/FuncDecl/RecTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/Backend/Coq/Converter/FuncDecl/RecTests.hs -------------------------------------------------------------------------------- /src/test/FreeC/Backend/Coq/Converter/FuncDeclTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/Backend/Coq/Converter/FuncDeclTests.hs -------------------------------------------------------------------------------- /src/test/FreeC/Backend/Coq/Converter/TypeDeclTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/Backend/Coq/Converter/TypeDeclTests.hs -------------------------------------------------------------------------------- /src/test/FreeC/Backend/Coq/Converter/TypeTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/Backend/Coq/Converter/TypeTests.hs -------------------------------------------------------------------------------- /src/test/FreeC/Backend/Coq/ConverterTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/Backend/Coq/ConverterTests.hs -------------------------------------------------------------------------------- /src/test/FreeC/Backend/Coq/Tests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/Backend/Coq/Tests.hs -------------------------------------------------------------------------------- /src/test/FreeC/Environment/FreshTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/Environment/FreshTests.hs -------------------------------------------------------------------------------- /src/test/FreeC/Environment/RenamerTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/Environment/RenamerTests.hs -------------------------------------------------------------------------------- /src/test/FreeC/EnvironmentTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/EnvironmentTests.hs -------------------------------------------------------------------------------- /src/test/FreeC/Frontend/Haskell/SimplifierTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/Frontend/Haskell/SimplifierTests.hs -------------------------------------------------------------------------------- /src/test/FreeC/Frontend/Haskell/Tests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/Frontend/Haskell/Tests.hs -------------------------------------------------------------------------------- /src/test/FreeC/Frontend/IR/ParserTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/Frontend/IR/ParserTests.hs -------------------------------------------------------------------------------- /src/test/FreeC/Frontend/IR/ScannerTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/Frontend/IR/ScannerTests.hs -------------------------------------------------------------------------------- /src/test/FreeC/Frontend/IR/Tests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/Frontend/IR/Tests.hs -------------------------------------------------------------------------------- /src/test/FreeC/IR/InliningTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/IR/InliningTests.hs -------------------------------------------------------------------------------- /src/test/FreeC/IR/ReferenceTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/IR/ReferenceTests.hs -------------------------------------------------------------------------------- /src/test/FreeC/IR/SimilarTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/IR/SimilarTests.hs -------------------------------------------------------------------------------- /src/test/FreeC/IR/SubstTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/IR/SubstTests.hs -------------------------------------------------------------------------------- /src/test/FreeC/IR/SubtermTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/IR/SubtermTests.hs -------------------------------------------------------------------------------- /src/test/FreeC/IR/Syntax/ModuleTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/IR/Syntax/ModuleTests.hs -------------------------------------------------------------------------------- /src/test/FreeC/IR/SyntaxTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/IR/SyntaxTests.hs -------------------------------------------------------------------------------- /src/test/FreeC/IR/Tests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/IR/Tests.hs -------------------------------------------------------------------------------- /src/test/FreeC/IR/TypeSynExpansionTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/IR/TypeSynExpansionTests.hs -------------------------------------------------------------------------------- /src/test/FreeC/IR/UnificationTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/IR/UnificationTests.hs -------------------------------------------------------------------------------- /src/test/FreeC/Monad/Class/Testable.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/Monad/Class/Testable.hs -------------------------------------------------------------------------------- /src/test/FreeC/Monad/ReporterTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/Monad/ReporterTests.hs -------------------------------------------------------------------------------- /src/test/FreeC/Pass/CompletePatternPassTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/Pass/CompletePatternPassTests.hs -------------------------------------------------------------------------------- /src/test/FreeC/Pass/EffectAnalysisPassTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/Pass/EffectAnalysisPassTests.hs -------------------------------------------------------------------------------- /src/test/FreeC/Pass/EtaConversionPassTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/Pass/EtaConversionPassTests.hs -------------------------------------------------------------------------------- /src/test/FreeC/Pass/ExportPassTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/Pass/ExportPassTests.hs -------------------------------------------------------------------------------- /src/test/FreeC/Pass/FlattenExprPassTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/Pass/FlattenExprPassTests.hs -------------------------------------------------------------------------------- /src/test/FreeC/Pass/InlineLambdaPassTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/Pass/InlineLambdaPassTests.hs -------------------------------------------------------------------------------- /src/test/FreeC/Pass/KindCheckPassTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/Pass/KindCheckPassTests.hs -------------------------------------------------------------------------------- /src/test/FreeC/Pass/LetSortPassTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/Pass/LetSortPassTests.hs -------------------------------------------------------------------------------- /src/test/FreeC/Pass/ResolverPassTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/Pass/ResolverPassTests.hs -------------------------------------------------------------------------------- /src/test/FreeC/Pass/TypeInferencePassTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/Pass/TypeInferencePassTests.hs -------------------------------------------------------------------------------- /src/test/FreeC/PipelineTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/PipelineTests.hs -------------------------------------------------------------------------------- /src/test/FreeC/Test/Arbitrary.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/Test/Arbitrary.hs -------------------------------------------------------------------------------- /src/test/FreeC/Test/Environment.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/Test/Environment.hs -------------------------------------------------------------------------------- /src/test/FreeC/Test/Expectations.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/Test/Expectations.hs -------------------------------------------------------------------------------- /src/test/FreeC/Test/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/FreeC/Test/Parser.hs -------------------------------------------------------------------------------- /src/test/Spec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/src/test/Spec.hs -------------------------------------------------------------------------------- /tool/check-agda.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/tool/check-agda.sh -------------------------------------------------------------------------------- /tool/check-formatting.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/tool/check-formatting.sh -------------------------------------------------------------------------------- /tool/compile-coq.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/tool/compile-coq.sh -------------------------------------------------------------------------------- /tool/format-code.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/tool/format-code.sh -------------------------------------------------------------------------------- /tool/full-test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/tool/full-test.sh -------------------------------------------------------------------------------- /tool/make-docs.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/tool/make-docs.sh -------------------------------------------------------------------------------- /tool/repl.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/tool/repl.sh -------------------------------------------------------------------------------- /tool/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/tool/run.sh -------------------------------------------------------------------------------- /tool/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/tool/test.sh -------------------------------------------------------------------------------- /tool/update-floskell-config.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeProving/free-compiler/HEAD/tool/update-floskell-config.sh --------------------------------------------------------------------------------