├── .github └── workflows │ ├── ci.yml │ ├── docs.yml │ └── nix-ci.yml ├── .gitignore ├── .readthedocs.yaml ├── CHANGELOG.md ├── DEVELOPER.md ├── LICENSE ├── Makefile ├── README.md ├── agda2hs.cabal ├── cabal.project ├── docs ├── Makefile ├── make.bat ├── requirements.txt └── source │ ├── conf.py │ ├── features.md │ ├── index.md │ ├── introduction.md │ └── tutorials.md ├── fix-whitespace.yaml ├── flake.lock ├── flake.nix ├── lib ├── base │ ├── Haskell │ │ ├── Control │ │ │ ├── Exception.agda │ │ │ └── Monad.agda │ │ ├── Data │ │ │ ├── List.agda │ │ │ ├── Maybe.agda │ │ │ └── Ord.agda │ │ ├── Extra │ │ │ ├── Dec.agda │ │ │ ├── Delay.agda │ │ │ ├── Erase.agda │ │ │ ├── Refinement.agda │ │ │ └── Sigma.agda │ │ ├── Law.agda │ │ ├── Law │ │ │ ├── Applicative.agda │ │ │ ├── Applicative │ │ │ │ ├── Def.agda │ │ │ │ ├── Either.agda │ │ │ │ ├── FromMonad.agda │ │ │ │ ├── IO.agda │ │ │ │ ├── List.agda │ │ │ │ └── Maybe.agda │ │ │ ├── Bool.agda │ │ │ ├── Def.agda │ │ │ ├── Either.agda │ │ │ ├── Eq.agda │ │ │ ├── Eq │ │ │ │ ├── Def.agda │ │ │ │ └── Instances.agda │ │ │ ├── Equality.agda │ │ │ ├── Extensionality.agda │ │ │ ├── Function.agda │ │ │ ├── Functor.agda │ │ │ ├── Functor │ │ │ │ ├── Def.agda │ │ │ │ ├── Either.agda │ │ │ │ ├── FromMonad.agda │ │ │ │ ├── IO.agda │ │ │ │ ├── List.agda │ │ │ │ └── Maybe.agda │ │ │ ├── Int.agda │ │ │ ├── Integer.agda │ │ │ ├── List.agda │ │ │ ├── Maybe.agda │ │ │ ├── Monad.agda │ │ │ ├── Monad │ │ │ │ ├── Def.agda │ │ │ │ ├── Either.agda │ │ │ │ ├── IO.agda │ │ │ │ ├── List.agda │ │ │ │ └── Maybe.agda │ │ │ ├── Monoid.agda │ │ │ ├── Monoid │ │ │ │ ├── Def.agda │ │ │ │ ├── List.agda │ │ │ │ └── Maybe.agda │ │ │ ├── Nat.agda │ │ │ ├── Num.agda │ │ │ ├── Num │ │ │ │ ├── Def.agda │ │ │ │ ├── Int.agda │ │ │ │ ├── Integer.agda │ │ │ │ ├── Nat.agda │ │ │ │ └── Word.agda │ │ │ ├── Ord.agda │ │ │ ├── Ord │ │ │ │ ├── Bool.agda │ │ │ │ ├── Def.agda │ │ │ │ ├── Maybe.agda │ │ │ │ └── Ordering.agda │ │ │ └── Semigroup │ │ │ │ ├── Def.agda │ │ │ │ ├── Either.agda │ │ │ │ ├── List.agda │ │ │ │ └── Maybe.agda │ │ ├── Prelude.agda │ │ ├── Prim.agda │ │ └── Prim │ │ │ ├── Absurd.agda │ │ │ ├── Applicative.agda │ │ │ ├── Bool.agda │ │ │ ├── Bounded.agda │ │ │ ├── Char.agda │ │ │ ├── Double.agda │ │ │ ├── Either.agda │ │ │ ├── Enum.agda │ │ │ ├── Eq.agda │ │ │ ├── Foldable.agda │ │ │ ├── Functor.agda │ │ │ ├── IO.agda │ │ │ ├── Int.agda │ │ │ ├── Integer.agda │ │ │ ├── List.agda │ │ │ ├── Maybe.agda │ │ │ ├── Monad.agda │ │ │ ├── Monoid.agda │ │ │ ├── Num.agda │ │ │ ├── Ord.agda │ │ │ ├── Show.agda │ │ │ ├── Strict.agda │ │ │ ├── String.agda │ │ │ ├── Thunk.agda │ │ │ ├── Traversable.agda │ │ │ ├── Tuple.agda │ │ │ └── Word.agda │ └── base.agda-lib └── containers │ ├── CHANGELOG.md │ ├── README.md │ ├── agda │ ├── Containers.agda │ ├── Data │ │ ├── Map.agda │ │ ├── Map │ │ │ ├── Maybe.agda │ │ │ └── Prop.agda │ │ ├── Set.agda │ │ └── Set │ │ │ └── Prop.agda │ ├── Haskell │ │ └── Data │ │ │ ├── Map.agda │ │ │ └── Set.agda │ └── Test │ │ └── Agda2Hs │ │ └── Data │ │ ├── Map.agda │ │ └── Set.agda │ ├── agda2hs-libraries │ ├── containers-prop.cabal │ ├── containers.agda-lib │ ├── generate-haskell.sh │ └── haskell │ ├── Containers.hs │ └── Test │ └── Agda2Hs │ └── Data │ ├── Map.hs │ └── Set.hs ├── nix ├── agda2hs.nix ├── default.nix ├── lib.nix └── shell.nix ├── release-notes ├── 1.0.md ├── 1.1.md ├── 1.2.md ├── 1.3.md └── 1.4.md ├── rewrite-rules-example.yaml ├── src ├── Agda2Hs │ ├── AgdaUtils.hs │ ├── Compile.hs │ ├── Compile │ │ ├── ClassInstance.hs │ │ ├── Data.hs │ │ ├── Function.hs │ │ ├── Function.hs-boot │ │ ├── Imports.hs │ │ ├── Name.hs │ │ ├── Postulate.hs │ │ ├── Record.hs │ │ ├── Term.hs │ │ ├── Type.hs │ │ ├── TypeDefinition.hs │ │ ├── Types.hs │ │ ├── Utils.hs │ │ └── Var.hs │ ├── Config.hs │ ├── Language │ │ ├── Haskell.hs │ │ └── Haskell │ │ │ ├── Pretty.hs │ │ │ └── Utils.hs │ ├── Pragma.hs │ └── Render.hs ├── AgdaInternals.hs └── Main.hs ├── test ├── .gitignore ├── Agda.css ├── Fail │ ├── ClashingImport.agda │ ├── ClashingImport.err │ ├── Copatterns.agda │ ├── Copatterns.err │ ├── DerivingParseFailure.agda │ ├── DerivingParseFailure.err │ ├── ErasedRecordParameter.agda │ ├── ErasedRecordParameter.err │ ├── ExplicitInstance.agda │ ├── ExplicitInstance.err │ ├── ExplicitInstance2.agda │ ├── ExplicitInstance2.err │ ├── Fixities.agda │ ├── Fixities.err │ ├── Inline.agda │ ├── Inline.err │ ├── Inline2.agda │ ├── Inline2.err │ ├── InvalidName.agda │ ├── InvalidName.err │ ├── Issue113a.agda │ ├── Issue113a.err │ ├── Issue113b.agda │ ├── Issue113b.err │ ├── Issue119.agda │ ├── Issue119.err │ ├── Issue125.agda │ ├── Issue125.err │ ├── Issue142.agda │ ├── Issue142.err │ ├── Issue146.agda │ ├── Issue146.err │ ├── Issue150.agda │ ├── Issue150.err │ ├── Issue154.agda │ ├── Issue154.err │ ├── Issue169-record.agda │ ├── Issue169-record.err │ ├── Issue185.agda │ ├── Issue185.err │ ├── Issue223.agda │ ├── Issue223.err │ ├── Issue306a.agda │ ├── Issue306a.err │ ├── Issue306b.agda │ ├── Issue306b.err │ ├── Issue306c.agda │ ├── Issue306c.err │ ├── Issue320.agda │ ├── Issue320.err │ ├── Issue357a.agda │ ├── Issue357a.err │ ├── Issue357b.agda │ ├── Issue357b.err │ ├── Issue437.agda │ ├── Issue437.err │ ├── Issue449.agda │ ├── Issue71.agda │ ├── Issue71.err │ ├── MatchOnDelay.agda │ ├── MatchOnDelay.err │ ├── MultiArgumentPatternLambda.agda │ ├── MultiArgumentPatternLambda.err │ ├── NewTypeRecordTwoFields.agda │ ├── NewTypeRecordTwoFields.err │ ├── NewTypeTwoConstructors.agda │ ├── NewTypeTwoConstructors.err │ ├── NewTypeTwoFields.agda │ ├── NewTypeTwoFields.err │ ├── NonCanonicalSpecialFunction.agda │ ├── NonCanonicalSpecialFunction.err │ ├── NonCanonicalSuperclass.agda │ ├── NonCanonicalSuperclass.err │ ├── NonCopatternInstance.agda │ ├── NonCopatternInstance.err │ ├── NonStarDatatypeIndex.agda │ ├── NonStarDatatypeIndex.err │ ├── NonStarRecordIndex.agda │ ├── NonStarRecordIndex.err │ ├── PartialCase.agda │ ├── PartialCase.err │ ├── PartialCaseNoLambda.agda │ ├── PartialCaseNoLambda.err │ ├── PartialIf.agda │ ├── PartialIf.err │ ├── QualifiedRecordProjections.agda │ ├── QualifiedRecordProjections.err │ ├── TypeLambda.agda │ └── TypeLambda.err ├── Haskell │ └── Data │ │ └── ByteString.agda ├── Main.hs ├── Succeed │ ├── Assert.agda │ ├── Assert.hs │ ├── AutoLambdaCaseInBind.agda │ ├── AutoLambdaCaseInBind.hs │ ├── AutoLambdaCaseInCase.agda │ ├── AutoLambdaCaseInCase.hs │ ├── BangPatterns.agda │ ├── BangPatterns.hs │ ├── CanonicalInstance.agda │ ├── CanonicalInstance.hs │ ├── Coerce.agda │ ├── Coerce.hs │ ├── Coinduction.agda │ ├── Coinduction.hs │ ├── CommonQualifiedImports.agda │ ├── CommonQualifiedImports.hs │ ├── CompileTo.agda │ ├── CompileTo.hs │ ├── ConstrainedInstance.agda │ ├── ConstrainedInstance.hs │ ├── Cubical │ │ ├── StreamFusion.agda │ │ └── StreamFusion.hs │ ├── CustomTuples.agda │ ├── CustomTuples.hs │ ├── Datatypes.agda │ ├── Datatypes.hs │ ├── Default.agda │ ├── Default.hs │ ├── DefaultMethods.agda │ ├── DefaultMethods.hs │ ├── Delay.agda │ ├── Delay.hs │ ├── Deriving.agda │ ├── Deriving.hs │ ├── DoNotation.agda │ ├── DoNotation.hs │ ├── EraseType.agda │ ├── EraseType.hs │ ├── ErasedLocalDefinitions.agda │ ├── ErasedLocalDefinitions.hs │ ├── ErasedPatternLambda.agda │ ├── ErasedPatternLambda.hs │ ├── ErasedTypeArguments.agda │ ├── ErasedTypeArguments.hs │ ├── Fixities.agda │ ├── Fixities.hs │ ├── FunCon.agda │ ├── FunCon.hs │ ├── HeightMirror.agda │ ├── HeightMirror.hs │ ├── IOFile.agda │ ├── IOFile.hs │ ├── IOInput.agda │ ├── IOInput.hs │ ├── Importee.agda │ ├── Importee.hs │ ├── Importer.agda │ ├── Importer.hs │ ├── Inlining.agda │ ├── Inlining.hs │ ├── Issue107.agda │ ├── Issue107.hs │ ├── Issue115.agda │ ├── Issue115.hs │ ├── Issue14.agda │ ├── Issue14.hs │ ├── Issue145.agda │ ├── Issue145.hs │ ├── Issue169.agda │ ├── Issue169.hs │ ├── Issue200.agda │ ├── Issue200.hs │ ├── Issue210.agda │ ├── Issue210.hs │ ├── Issue218.agda │ ├── Issue218.hs │ ├── Issue251.agda │ ├── Issue251.hs │ ├── Issue257.agda │ ├── Issue257.hs │ ├── Issue264.agda │ ├── Issue264.hs │ ├── Issue273.agda │ ├── Issue273.hs │ ├── Issue286.agda │ ├── Issue286.hs │ ├── Issue301.agda │ ├── Issue301.hs │ ├── Issue302.agda │ ├── Issue302.hs │ ├── Issue305.agda │ ├── Issue305.hs │ ├── Issue306.agda │ ├── Issue306.hs │ ├── Issue308.agda │ ├── Issue308.hs │ ├── Issue309.agda │ ├── Issue309.hs │ ├── Issue317.agda │ ├── Issue317.hs │ ├── Issue324.agda │ ├── Issue324.hs │ ├── Issue324instance.agda │ ├── Issue324instance.hs │ ├── Issue346.agda │ ├── Issue346.hs │ ├── Issue353.agda │ ├── Issue353.hs │ ├── Issue377.agda │ ├── Issue377.hs │ ├── Issue394.agda │ ├── Issue394.hs │ ├── Issue408.agda │ ├── Issue408.hs │ ├── Issue409.agda │ ├── Issue409.hs │ ├── Issue421.agda │ ├── Issue421.hs │ ├── Issue65.agda │ ├── Issue65.hs │ ├── Issue69.agda │ ├── Issue69.hs │ ├── Issue73.agda │ ├── Issue73.hs │ ├── Issue90.agda │ ├── Issue90.hs │ ├── Issue92.agda │ ├── Issue92.hs │ ├── Issue93.agda │ ├── Issue93.hs │ ├── Issue94.agda │ ├── Issue94.hs │ ├── Kinds.agda │ ├── Kinds.hs │ ├── LanguageConstructs.agda │ ├── LanguageConstructs.hs │ ├── LawfulOrd.agda │ ├── LawfulOrd.hs │ ├── LiteralPatterns.agda │ ├── LiteralPatterns.hs │ ├── ModuleParameters.agda │ ├── ModuleParameters.hs │ ├── ModuleParametersImports.agda │ ├── ModuleParametersImports.hs │ ├── NewTypePragma.agda │ ├── NewTypePragma.hs │ ├── NonClassInstance.agda │ ├── NonClassInstance.hs │ ├── Numbers.agda │ ├── Numbers.hs │ ├── OtherImportee.agda │ ├── OtherImportee.hs │ ├── Pragmas.agda │ ├── Pragmas.hs │ ├── ProjLike.agda │ ├── ProjLike.hs │ ├── ProjectionLike.agda │ ├── ProjectionLike.hs │ ├── QualifiedImportee.agda │ ├── QualifiedImportee.hs │ ├── QualifiedImports.agda │ ├── QualifiedImports.hs │ ├── QualifiedModule.agda │ ├── QualifiedModule.hs │ ├── QualifiedPrelude.agda │ ├── QualifiedPrelude.hs │ ├── RankNTypes.agda │ ├── RankNTypes.hs │ ├── Records.agda │ ├── Records.hs │ ├── RelevantDotPattern1.agda │ ├── RelevantDotPattern1.hs │ ├── RelevantDotPattern2.agda │ ├── RelevantDotPattern2.hs │ ├── RelevantDotPattern3.agda │ ├── RelevantDotPattern3.hs │ ├── RequalifiedImports.agda │ ├── RequalifiedImports.hs │ ├── RuntimeCast.agda │ ├── RuntimeCast.hs │ ├── ScopedTypeVariables.agda │ ├── ScopedTypeVariables.hs │ ├── SecondImportee.agda │ ├── SecondImportee.hs │ ├── Sections.agda │ ├── Sections.hs │ ├── Superclass.agda │ ├── Superclass.hs │ ├── Test.agda │ ├── Test.hs │ ├── TransparentFun.agda │ ├── TransparentFun.hs │ ├── Tree.agda │ ├── Tree.hs │ ├── Tuples.agda │ ├── Tuples.hs │ ├── TypeBasedUnboxing.agda │ ├── TypeBasedUnboxing.hs │ ├── TypeDirected.agda │ ├── TypeDirected.hs │ ├── TypeOperatorExport.agda │ ├── TypeOperatorExport.hs │ ├── TypeOperatorImport.agda │ ├── TypeOperatorImport.hs │ ├── TypeOperators.agda │ ├── TypeOperators.hs │ ├── TypeSignature.agda │ ├── TypeSignature.hs │ ├── TypeSynonyms.agda │ ├── TypeSynonyms.hs │ ├── UnboxPragma.agda │ ├── UnboxPragma.hs │ ├── Vector.agda │ ├── Vector.hs │ ├── Where.agda │ ├── Where.hs │ ├── WitnessedFlows.agda │ └── WitnessedFlows.hs ├── agda2hs-test.agda-lib ├── golden │ └── Issue449.err └── renderTranslations.sh └── tutorials ├── example-basics ├── HelloWorld.agda ├── HelloWorld.hs └── example-basics.agda-lib ├── example-proofs ├── Ascending.agda ├── Triangle.agda └── example-proofs.agda-lib └── example-structure ├── example-structure.agda-lib ├── script.sh └── src ├── agda ├── Definition.agda └── Usage.agda └── haskell ├── Definition.hs └── Usage.hs /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.github/workflows/docs.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/.github/workflows/docs.yml -------------------------------------------------------------------------------- /.github/workflows/nix-ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/.github/workflows/nix-ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/.gitignore -------------------------------------------------------------------------------- /.readthedocs.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/.readthedocs.yaml -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /DEVELOPER.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/DEVELOPER.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/README.md -------------------------------------------------------------------------------- /agda2hs.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/agda2hs.cabal -------------------------------------------------------------------------------- /cabal.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/cabal.project -------------------------------------------------------------------------------- /docs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/docs/Makefile -------------------------------------------------------------------------------- /docs/make.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/docs/make.bat -------------------------------------------------------------------------------- /docs/requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/docs/requirements.txt -------------------------------------------------------------------------------- /docs/source/conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/docs/source/conf.py -------------------------------------------------------------------------------- /docs/source/features.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/docs/source/features.md -------------------------------------------------------------------------------- /docs/source/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/docs/source/index.md -------------------------------------------------------------------------------- /docs/source/introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/docs/source/introduction.md -------------------------------------------------------------------------------- /docs/source/tutorials.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/docs/source/tutorials.md -------------------------------------------------------------------------------- /fix-whitespace.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/fix-whitespace.yaml -------------------------------------------------------------------------------- /flake.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/flake.lock -------------------------------------------------------------------------------- /flake.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/flake.nix -------------------------------------------------------------------------------- /lib/base/Haskell/Control/Exception.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Control/Exception.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Control/Monad.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Control/Monad.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Data/List.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Data/List.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Data/Maybe.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Data/Maybe.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Data/Ord.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Data/Ord.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Extra/Dec.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Extra/Dec.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Extra/Delay.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Extra/Delay.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Extra/Erase.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Extra/Erase.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Extra/Refinement.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Extra/Refinement.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Extra/Sigma.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Extra/Sigma.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Applicative.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Applicative.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Applicative/Def.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Applicative/Def.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Applicative/Either.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Applicative/Either.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Applicative/FromMonad.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Applicative/FromMonad.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Applicative/IO.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Applicative/IO.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Applicative/List.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Applicative/List.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Applicative/Maybe.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Applicative/Maybe.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Bool.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Bool.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Def.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Def.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Either.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Either.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Eq.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Eq.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Eq/Def.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Eq/Def.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Eq/Instances.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Eq/Instances.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Equality.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Equality.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Extensionality.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Extensionality.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Function.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Function.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Functor.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Functor.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Functor/Def.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Functor/Def.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Functor/Either.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Functor/Either.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Functor/FromMonad.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Functor/FromMonad.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Functor/IO.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Functor/IO.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Functor/List.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Functor/List.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Functor/Maybe.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Functor/Maybe.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Int.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Int.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Integer.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Integer.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/List.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/List.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Maybe.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Maybe.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Monad.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Monad.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Monad/Def.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Monad/Def.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Monad/Either.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Monad/Either.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Monad/IO.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Monad/IO.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Monad/List.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Monad/List.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Monad/Maybe.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Monad/Maybe.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Monoid.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Monoid.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Monoid/Def.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Monoid/Def.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Monoid/List.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Monoid/List.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Monoid/Maybe.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Monoid/Maybe.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Nat.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Nat.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Num.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Num.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Num/Def.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Num/Def.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Num/Int.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Num/Int.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Num/Integer.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Num/Integer.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Num/Nat.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Num/Nat.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Num/Word.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Num/Word.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Ord.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Ord.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Ord/Bool.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Ord/Bool.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Ord/Def.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Ord/Def.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Ord/Maybe.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Ord/Maybe.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Ord/Ordering.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Ord/Ordering.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Semigroup/Def.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Semigroup/Def.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Semigroup/Either.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Semigroup/Either.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Semigroup/List.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Semigroup/List.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Law/Semigroup/Maybe.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Law/Semigroup/Maybe.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Prelude.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Prelude.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Prim.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Prim.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Prim/Absurd.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Prim/Absurd.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Prim/Applicative.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Prim/Applicative.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Prim/Bool.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Prim/Bool.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Prim/Bounded.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Prim/Bounded.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Prim/Char.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Prim/Char.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Prim/Double.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Prim/Double.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Prim/Either.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Prim/Either.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Prim/Enum.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Prim/Enum.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Prim/Eq.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Prim/Eq.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Prim/Foldable.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Prim/Foldable.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Prim/Functor.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Prim/Functor.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Prim/IO.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Prim/IO.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Prim/Int.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Prim/Int.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Prim/Integer.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Prim/Integer.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Prim/List.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Prim/List.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Prim/Maybe.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Prim/Maybe.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Prim/Monad.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Prim/Monad.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Prim/Monoid.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Prim/Monoid.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Prim/Num.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Prim/Num.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Prim/Ord.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Prim/Ord.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Prim/Show.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Prim/Show.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Prim/Strict.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Prim/Strict.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Prim/String.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Prim/String.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Prim/Thunk.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Prim/Thunk.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Prim/Traversable.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Prim/Traversable.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Prim/Tuple.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Prim/Tuple.agda -------------------------------------------------------------------------------- /lib/base/Haskell/Prim/Word.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/Haskell/Prim/Word.agda -------------------------------------------------------------------------------- /lib/base/base.agda-lib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/base/base.agda-lib -------------------------------------------------------------------------------- /lib/containers/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/containers/CHANGELOG.md -------------------------------------------------------------------------------- /lib/containers/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/containers/README.md -------------------------------------------------------------------------------- /lib/containers/agda/Containers.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/containers/agda/Containers.agda -------------------------------------------------------------------------------- /lib/containers/agda/Data/Map.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/containers/agda/Data/Map.agda -------------------------------------------------------------------------------- /lib/containers/agda/Data/Map/Maybe.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/containers/agda/Data/Map/Maybe.agda -------------------------------------------------------------------------------- /lib/containers/agda/Data/Map/Prop.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/containers/agda/Data/Map/Prop.agda -------------------------------------------------------------------------------- /lib/containers/agda/Data/Set.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/containers/agda/Data/Set.agda -------------------------------------------------------------------------------- /lib/containers/agda/Data/Set/Prop.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/containers/agda/Data/Set/Prop.agda -------------------------------------------------------------------------------- /lib/containers/agda/Haskell/Data/Map.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/containers/agda/Haskell/Data/Map.agda -------------------------------------------------------------------------------- /lib/containers/agda/Haskell/Data/Set.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/containers/agda/Haskell/Data/Set.agda -------------------------------------------------------------------------------- /lib/containers/agda/Test/Agda2Hs/Data/Map.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/containers/agda/Test/Agda2Hs/Data/Map.agda -------------------------------------------------------------------------------- /lib/containers/agda/Test/Agda2Hs/Data/Set.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/containers/agda/Test/Agda2Hs/Data/Set.agda -------------------------------------------------------------------------------- /lib/containers/agda2hs-libraries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/containers/agda2hs-libraries -------------------------------------------------------------------------------- /lib/containers/containers-prop.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/containers/containers-prop.cabal -------------------------------------------------------------------------------- /lib/containers/containers.agda-lib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/containers/containers.agda-lib -------------------------------------------------------------------------------- /lib/containers/generate-haskell.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/containers/generate-haskell.sh -------------------------------------------------------------------------------- /lib/containers/haskell/Containers.hs: -------------------------------------------------------------------------------- 1 | module Containers where 2 | 3 | -------------------------------------------------------------------------------- /lib/containers/haskell/Test/Agda2Hs/Data/Map.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/containers/haskell/Test/Agda2Hs/Data/Map.hs -------------------------------------------------------------------------------- /lib/containers/haskell/Test/Agda2Hs/Data/Set.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/lib/containers/haskell/Test/Agda2Hs/Data/Set.hs -------------------------------------------------------------------------------- /nix/agda2hs.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/nix/agda2hs.nix -------------------------------------------------------------------------------- /nix/default.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/nix/default.nix -------------------------------------------------------------------------------- /nix/lib.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/nix/lib.nix -------------------------------------------------------------------------------- /nix/shell.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/nix/shell.nix -------------------------------------------------------------------------------- /release-notes/1.0.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/release-notes/1.0.md -------------------------------------------------------------------------------- /release-notes/1.1.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/release-notes/1.1.md -------------------------------------------------------------------------------- /release-notes/1.2.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/release-notes/1.2.md -------------------------------------------------------------------------------- /release-notes/1.3.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/release-notes/1.3.md -------------------------------------------------------------------------------- /release-notes/1.4.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/release-notes/1.4.md -------------------------------------------------------------------------------- /rewrite-rules-example.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/rewrite-rules-example.yaml -------------------------------------------------------------------------------- /src/Agda2Hs/AgdaUtils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/src/Agda2Hs/AgdaUtils.hs -------------------------------------------------------------------------------- /src/Agda2Hs/Compile.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/src/Agda2Hs/Compile.hs -------------------------------------------------------------------------------- /src/Agda2Hs/Compile/ClassInstance.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/src/Agda2Hs/Compile/ClassInstance.hs -------------------------------------------------------------------------------- /src/Agda2Hs/Compile/Data.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/src/Agda2Hs/Compile/Data.hs -------------------------------------------------------------------------------- /src/Agda2Hs/Compile/Function.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/src/Agda2Hs/Compile/Function.hs -------------------------------------------------------------------------------- /src/Agda2Hs/Compile/Function.hs-boot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/src/Agda2Hs/Compile/Function.hs-boot -------------------------------------------------------------------------------- /src/Agda2Hs/Compile/Imports.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/src/Agda2Hs/Compile/Imports.hs -------------------------------------------------------------------------------- /src/Agda2Hs/Compile/Name.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/src/Agda2Hs/Compile/Name.hs -------------------------------------------------------------------------------- /src/Agda2Hs/Compile/Postulate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/src/Agda2Hs/Compile/Postulate.hs -------------------------------------------------------------------------------- /src/Agda2Hs/Compile/Record.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/src/Agda2Hs/Compile/Record.hs -------------------------------------------------------------------------------- /src/Agda2Hs/Compile/Term.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/src/Agda2Hs/Compile/Term.hs -------------------------------------------------------------------------------- /src/Agda2Hs/Compile/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/src/Agda2Hs/Compile/Type.hs -------------------------------------------------------------------------------- /src/Agda2Hs/Compile/TypeDefinition.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/src/Agda2Hs/Compile/TypeDefinition.hs -------------------------------------------------------------------------------- /src/Agda2Hs/Compile/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/src/Agda2Hs/Compile/Types.hs -------------------------------------------------------------------------------- /src/Agda2Hs/Compile/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/src/Agda2Hs/Compile/Utils.hs -------------------------------------------------------------------------------- /src/Agda2Hs/Compile/Var.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/src/Agda2Hs/Compile/Var.hs -------------------------------------------------------------------------------- /src/Agda2Hs/Config.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/src/Agda2Hs/Config.hs -------------------------------------------------------------------------------- /src/Agda2Hs/Language/Haskell.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/src/Agda2Hs/Language/Haskell.hs -------------------------------------------------------------------------------- /src/Agda2Hs/Language/Haskell/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/src/Agda2Hs/Language/Haskell/Pretty.hs -------------------------------------------------------------------------------- /src/Agda2Hs/Language/Haskell/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/src/Agda2Hs/Language/Haskell/Utils.hs -------------------------------------------------------------------------------- /src/Agda2Hs/Pragma.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/src/Agda2Hs/Pragma.hs -------------------------------------------------------------------------------- /src/Agda2Hs/Render.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/src/Agda2Hs/Render.hs -------------------------------------------------------------------------------- /src/AgdaInternals.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/src/AgdaInternals.hs -------------------------------------------------------------------------------- /src/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/src/Main.hs -------------------------------------------------------------------------------- /test/.gitignore: -------------------------------------------------------------------------------- 1 | build/ 2 | agda2hs 3 | html/ 4 | -------------------------------------------------------------------------------- /test/Agda.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Agda.css -------------------------------------------------------------------------------- /test/Fail/ClashingImport.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/ClashingImport.agda -------------------------------------------------------------------------------- /test/Fail/ClashingImport.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/ClashingImport.err -------------------------------------------------------------------------------- /test/Fail/Copatterns.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Copatterns.agda -------------------------------------------------------------------------------- /test/Fail/Copatterns.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Copatterns.err -------------------------------------------------------------------------------- /test/Fail/DerivingParseFailure.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/DerivingParseFailure.agda -------------------------------------------------------------------------------- /test/Fail/DerivingParseFailure.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/DerivingParseFailure.err -------------------------------------------------------------------------------- /test/Fail/ErasedRecordParameter.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/ErasedRecordParameter.agda -------------------------------------------------------------------------------- /test/Fail/ErasedRecordParameter.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/ErasedRecordParameter.err -------------------------------------------------------------------------------- /test/Fail/ExplicitInstance.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/ExplicitInstance.agda -------------------------------------------------------------------------------- /test/Fail/ExplicitInstance.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/ExplicitInstance.err -------------------------------------------------------------------------------- /test/Fail/ExplicitInstance2.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/ExplicitInstance2.agda -------------------------------------------------------------------------------- /test/Fail/ExplicitInstance2.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/ExplicitInstance2.err -------------------------------------------------------------------------------- /test/Fail/Fixities.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Fixities.agda -------------------------------------------------------------------------------- /test/Fail/Fixities.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Fixities.err -------------------------------------------------------------------------------- /test/Fail/Inline.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Inline.agda -------------------------------------------------------------------------------- /test/Fail/Inline.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Inline.err -------------------------------------------------------------------------------- /test/Fail/Inline2.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Inline2.agda -------------------------------------------------------------------------------- /test/Fail/Inline2.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Inline2.err -------------------------------------------------------------------------------- /test/Fail/InvalidName.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/InvalidName.agda -------------------------------------------------------------------------------- /test/Fail/InvalidName.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/InvalidName.err -------------------------------------------------------------------------------- /test/Fail/Issue113a.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Issue113a.agda -------------------------------------------------------------------------------- /test/Fail/Issue113a.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Issue113a.err -------------------------------------------------------------------------------- /test/Fail/Issue113b.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Issue113b.agda -------------------------------------------------------------------------------- /test/Fail/Issue113b.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Issue113b.err -------------------------------------------------------------------------------- /test/Fail/Issue119.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Issue119.agda -------------------------------------------------------------------------------- /test/Fail/Issue119.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Issue119.err -------------------------------------------------------------------------------- /test/Fail/Issue125.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Issue125.agda -------------------------------------------------------------------------------- /test/Fail/Issue125.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Issue125.err -------------------------------------------------------------------------------- /test/Fail/Issue142.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Issue142.agda -------------------------------------------------------------------------------- /test/Fail/Issue142.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Issue142.err -------------------------------------------------------------------------------- /test/Fail/Issue146.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Issue146.agda -------------------------------------------------------------------------------- /test/Fail/Issue146.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Issue146.err -------------------------------------------------------------------------------- /test/Fail/Issue150.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Issue150.agda -------------------------------------------------------------------------------- /test/Fail/Issue150.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Issue150.err -------------------------------------------------------------------------------- /test/Fail/Issue154.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Issue154.agda -------------------------------------------------------------------------------- /test/Fail/Issue154.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Issue154.err -------------------------------------------------------------------------------- /test/Fail/Issue169-record.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Issue169-record.agda -------------------------------------------------------------------------------- /test/Fail/Issue169-record.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Issue169-record.err -------------------------------------------------------------------------------- /test/Fail/Issue185.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Issue185.agda -------------------------------------------------------------------------------- /test/Fail/Issue185.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Issue185.err -------------------------------------------------------------------------------- /test/Fail/Issue223.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Issue223.agda -------------------------------------------------------------------------------- /test/Fail/Issue223.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Issue223.err -------------------------------------------------------------------------------- /test/Fail/Issue306a.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Issue306a.agda -------------------------------------------------------------------------------- /test/Fail/Issue306a.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Issue306a.err -------------------------------------------------------------------------------- /test/Fail/Issue306b.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Issue306b.agda -------------------------------------------------------------------------------- /test/Fail/Issue306b.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Issue306b.err -------------------------------------------------------------------------------- /test/Fail/Issue306c.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Issue306c.agda -------------------------------------------------------------------------------- /test/Fail/Issue306c.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Issue306c.err -------------------------------------------------------------------------------- /test/Fail/Issue320.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Issue320.agda -------------------------------------------------------------------------------- /test/Fail/Issue320.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Issue320.err -------------------------------------------------------------------------------- /test/Fail/Issue357a.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Issue357a.agda -------------------------------------------------------------------------------- /test/Fail/Issue357a.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Issue357a.err -------------------------------------------------------------------------------- /test/Fail/Issue357b.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Issue357b.agda -------------------------------------------------------------------------------- /test/Fail/Issue357b.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Issue357b.err -------------------------------------------------------------------------------- /test/Fail/Issue437.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Issue437.agda -------------------------------------------------------------------------------- /test/Fail/Issue437.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Issue437.err -------------------------------------------------------------------------------- /test/Fail/Issue449.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Issue449.agda -------------------------------------------------------------------------------- /test/Fail/Issue71.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Issue71.agda -------------------------------------------------------------------------------- /test/Fail/Issue71.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/Issue71.err -------------------------------------------------------------------------------- /test/Fail/MatchOnDelay.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/MatchOnDelay.agda -------------------------------------------------------------------------------- /test/Fail/MatchOnDelay.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/MatchOnDelay.err -------------------------------------------------------------------------------- /test/Fail/MultiArgumentPatternLambda.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/MultiArgumentPatternLambda.agda -------------------------------------------------------------------------------- /test/Fail/MultiArgumentPatternLambda.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/MultiArgumentPatternLambda.err -------------------------------------------------------------------------------- /test/Fail/NewTypeRecordTwoFields.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/NewTypeRecordTwoFields.agda -------------------------------------------------------------------------------- /test/Fail/NewTypeRecordTwoFields.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/NewTypeRecordTwoFields.err -------------------------------------------------------------------------------- /test/Fail/NewTypeTwoConstructors.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/NewTypeTwoConstructors.agda -------------------------------------------------------------------------------- /test/Fail/NewTypeTwoConstructors.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/NewTypeTwoConstructors.err -------------------------------------------------------------------------------- /test/Fail/NewTypeTwoFields.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/NewTypeTwoFields.agda -------------------------------------------------------------------------------- /test/Fail/NewTypeTwoFields.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/NewTypeTwoFields.err -------------------------------------------------------------------------------- /test/Fail/NonCanonicalSpecialFunction.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/NonCanonicalSpecialFunction.agda -------------------------------------------------------------------------------- /test/Fail/NonCanonicalSpecialFunction.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/NonCanonicalSpecialFunction.err -------------------------------------------------------------------------------- /test/Fail/NonCanonicalSuperclass.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/NonCanonicalSuperclass.agda -------------------------------------------------------------------------------- /test/Fail/NonCanonicalSuperclass.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/NonCanonicalSuperclass.err -------------------------------------------------------------------------------- /test/Fail/NonCopatternInstance.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/NonCopatternInstance.agda -------------------------------------------------------------------------------- /test/Fail/NonCopatternInstance.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/NonCopatternInstance.err -------------------------------------------------------------------------------- /test/Fail/NonStarDatatypeIndex.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/NonStarDatatypeIndex.agda -------------------------------------------------------------------------------- /test/Fail/NonStarDatatypeIndex.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/NonStarDatatypeIndex.err -------------------------------------------------------------------------------- /test/Fail/NonStarRecordIndex.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/NonStarRecordIndex.agda -------------------------------------------------------------------------------- /test/Fail/NonStarRecordIndex.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/NonStarRecordIndex.err -------------------------------------------------------------------------------- /test/Fail/PartialCase.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/PartialCase.agda -------------------------------------------------------------------------------- /test/Fail/PartialCase.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/PartialCase.err -------------------------------------------------------------------------------- /test/Fail/PartialCaseNoLambda.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/PartialCaseNoLambda.agda -------------------------------------------------------------------------------- /test/Fail/PartialCaseNoLambda.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/PartialCaseNoLambda.err -------------------------------------------------------------------------------- /test/Fail/PartialIf.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/PartialIf.agda -------------------------------------------------------------------------------- /test/Fail/PartialIf.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/PartialIf.err -------------------------------------------------------------------------------- /test/Fail/QualifiedRecordProjections.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/QualifiedRecordProjections.agda -------------------------------------------------------------------------------- /test/Fail/QualifiedRecordProjections.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/QualifiedRecordProjections.err -------------------------------------------------------------------------------- /test/Fail/TypeLambda.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/TypeLambda.agda -------------------------------------------------------------------------------- /test/Fail/TypeLambda.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Fail/TypeLambda.err -------------------------------------------------------------------------------- /test/Haskell/Data/ByteString.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Haskell/Data/ByteString.agda -------------------------------------------------------------------------------- /test/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Main.hs -------------------------------------------------------------------------------- /test/Succeed/Assert.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Assert.agda -------------------------------------------------------------------------------- /test/Succeed/Assert.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Assert.hs -------------------------------------------------------------------------------- /test/Succeed/AutoLambdaCaseInBind.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/AutoLambdaCaseInBind.agda -------------------------------------------------------------------------------- /test/Succeed/AutoLambdaCaseInBind.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/AutoLambdaCaseInBind.hs -------------------------------------------------------------------------------- /test/Succeed/AutoLambdaCaseInCase.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/AutoLambdaCaseInCase.agda -------------------------------------------------------------------------------- /test/Succeed/AutoLambdaCaseInCase.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/AutoLambdaCaseInCase.hs -------------------------------------------------------------------------------- /test/Succeed/BangPatterns.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/BangPatterns.agda -------------------------------------------------------------------------------- /test/Succeed/BangPatterns.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/BangPatterns.hs -------------------------------------------------------------------------------- /test/Succeed/CanonicalInstance.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/CanonicalInstance.agda -------------------------------------------------------------------------------- /test/Succeed/CanonicalInstance.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/CanonicalInstance.hs -------------------------------------------------------------------------------- /test/Succeed/Coerce.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Coerce.agda -------------------------------------------------------------------------------- /test/Succeed/Coerce.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Coerce.hs -------------------------------------------------------------------------------- /test/Succeed/Coinduction.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Coinduction.agda -------------------------------------------------------------------------------- /test/Succeed/Coinduction.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Coinduction.hs -------------------------------------------------------------------------------- /test/Succeed/CommonQualifiedImports.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/CommonQualifiedImports.agda -------------------------------------------------------------------------------- /test/Succeed/CommonQualifiedImports.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/CommonQualifiedImports.hs -------------------------------------------------------------------------------- /test/Succeed/CompileTo.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/CompileTo.agda -------------------------------------------------------------------------------- /test/Succeed/CompileTo.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/CompileTo.hs -------------------------------------------------------------------------------- /test/Succeed/ConstrainedInstance.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/ConstrainedInstance.agda -------------------------------------------------------------------------------- /test/Succeed/ConstrainedInstance.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/ConstrainedInstance.hs -------------------------------------------------------------------------------- /test/Succeed/Cubical/StreamFusion.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Cubical/StreamFusion.agda -------------------------------------------------------------------------------- /test/Succeed/Cubical/StreamFusion.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Cubical/StreamFusion.hs -------------------------------------------------------------------------------- /test/Succeed/CustomTuples.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/CustomTuples.agda -------------------------------------------------------------------------------- /test/Succeed/CustomTuples.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/CustomTuples.hs -------------------------------------------------------------------------------- /test/Succeed/Datatypes.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Datatypes.agda -------------------------------------------------------------------------------- /test/Succeed/Datatypes.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Datatypes.hs -------------------------------------------------------------------------------- /test/Succeed/Default.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Default.agda -------------------------------------------------------------------------------- /test/Succeed/Default.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Default.hs -------------------------------------------------------------------------------- /test/Succeed/DefaultMethods.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/DefaultMethods.agda -------------------------------------------------------------------------------- /test/Succeed/DefaultMethods.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/DefaultMethods.hs -------------------------------------------------------------------------------- /test/Succeed/Delay.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Delay.agda -------------------------------------------------------------------------------- /test/Succeed/Delay.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Delay.hs -------------------------------------------------------------------------------- /test/Succeed/Deriving.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Deriving.agda -------------------------------------------------------------------------------- /test/Succeed/Deriving.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Deriving.hs -------------------------------------------------------------------------------- /test/Succeed/DoNotation.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/DoNotation.agda -------------------------------------------------------------------------------- /test/Succeed/DoNotation.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/DoNotation.hs -------------------------------------------------------------------------------- /test/Succeed/EraseType.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/EraseType.agda -------------------------------------------------------------------------------- /test/Succeed/EraseType.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/EraseType.hs -------------------------------------------------------------------------------- /test/Succeed/ErasedLocalDefinitions.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/ErasedLocalDefinitions.agda -------------------------------------------------------------------------------- /test/Succeed/ErasedLocalDefinitions.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/ErasedLocalDefinitions.hs -------------------------------------------------------------------------------- /test/Succeed/ErasedPatternLambda.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/ErasedPatternLambda.agda -------------------------------------------------------------------------------- /test/Succeed/ErasedPatternLambda.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/ErasedPatternLambda.hs -------------------------------------------------------------------------------- /test/Succeed/ErasedTypeArguments.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/ErasedTypeArguments.agda -------------------------------------------------------------------------------- /test/Succeed/ErasedTypeArguments.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/ErasedTypeArguments.hs -------------------------------------------------------------------------------- /test/Succeed/Fixities.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Fixities.agda -------------------------------------------------------------------------------- /test/Succeed/Fixities.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Fixities.hs -------------------------------------------------------------------------------- /test/Succeed/FunCon.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/FunCon.agda -------------------------------------------------------------------------------- /test/Succeed/FunCon.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/FunCon.hs -------------------------------------------------------------------------------- /test/Succeed/HeightMirror.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/HeightMirror.agda -------------------------------------------------------------------------------- /test/Succeed/HeightMirror.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/HeightMirror.hs -------------------------------------------------------------------------------- /test/Succeed/IOFile.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/IOFile.agda -------------------------------------------------------------------------------- /test/Succeed/IOFile.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/IOFile.hs -------------------------------------------------------------------------------- /test/Succeed/IOInput.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/IOInput.agda -------------------------------------------------------------------------------- /test/Succeed/IOInput.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/IOInput.hs -------------------------------------------------------------------------------- /test/Succeed/Importee.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Importee.agda -------------------------------------------------------------------------------- /test/Succeed/Importee.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Importee.hs -------------------------------------------------------------------------------- /test/Succeed/Importer.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Importer.agda -------------------------------------------------------------------------------- /test/Succeed/Importer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Importer.hs -------------------------------------------------------------------------------- /test/Succeed/Inlining.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Inlining.agda -------------------------------------------------------------------------------- /test/Succeed/Inlining.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Inlining.hs -------------------------------------------------------------------------------- /test/Succeed/Issue107.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue107.agda -------------------------------------------------------------------------------- /test/Succeed/Issue107.hs: -------------------------------------------------------------------------------- 1 | module Issue107 where 2 | 3 | -------------------------------------------------------------------------------- /test/Succeed/Issue115.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue115.agda -------------------------------------------------------------------------------- /test/Succeed/Issue115.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue115.hs -------------------------------------------------------------------------------- /test/Succeed/Issue14.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue14.agda -------------------------------------------------------------------------------- /test/Succeed/Issue14.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue14.hs -------------------------------------------------------------------------------- /test/Succeed/Issue145.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue145.agda -------------------------------------------------------------------------------- /test/Succeed/Issue145.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue145.hs -------------------------------------------------------------------------------- /test/Succeed/Issue169.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue169.agda -------------------------------------------------------------------------------- /test/Succeed/Issue169.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue169.hs -------------------------------------------------------------------------------- /test/Succeed/Issue200.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue200.agda -------------------------------------------------------------------------------- /test/Succeed/Issue200.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue200.hs -------------------------------------------------------------------------------- /test/Succeed/Issue210.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue210.agda -------------------------------------------------------------------------------- /test/Succeed/Issue210.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue210.hs -------------------------------------------------------------------------------- /test/Succeed/Issue218.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue218.agda -------------------------------------------------------------------------------- /test/Succeed/Issue218.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue218.hs -------------------------------------------------------------------------------- /test/Succeed/Issue251.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue251.agda -------------------------------------------------------------------------------- /test/Succeed/Issue251.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue251.hs -------------------------------------------------------------------------------- /test/Succeed/Issue257.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue257.agda -------------------------------------------------------------------------------- /test/Succeed/Issue257.hs: -------------------------------------------------------------------------------- 1 | module Issue257 where 2 | 3 | -------------------------------------------------------------------------------- /test/Succeed/Issue264.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue264.agda -------------------------------------------------------------------------------- /test/Succeed/Issue264.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue264.hs -------------------------------------------------------------------------------- /test/Succeed/Issue273.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue273.agda -------------------------------------------------------------------------------- /test/Succeed/Issue273.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue273.hs -------------------------------------------------------------------------------- /test/Succeed/Issue286.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue286.agda -------------------------------------------------------------------------------- /test/Succeed/Issue286.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue286.hs -------------------------------------------------------------------------------- /test/Succeed/Issue301.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue301.agda -------------------------------------------------------------------------------- /test/Succeed/Issue301.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue301.hs -------------------------------------------------------------------------------- /test/Succeed/Issue302.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue302.agda -------------------------------------------------------------------------------- /test/Succeed/Issue302.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue302.hs -------------------------------------------------------------------------------- /test/Succeed/Issue305.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue305.agda -------------------------------------------------------------------------------- /test/Succeed/Issue305.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue305.hs -------------------------------------------------------------------------------- /test/Succeed/Issue306.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue306.agda -------------------------------------------------------------------------------- /test/Succeed/Issue306.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue306.hs -------------------------------------------------------------------------------- /test/Succeed/Issue308.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue308.agda -------------------------------------------------------------------------------- /test/Succeed/Issue308.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue308.hs -------------------------------------------------------------------------------- /test/Succeed/Issue309.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue309.agda -------------------------------------------------------------------------------- /test/Succeed/Issue309.hs: -------------------------------------------------------------------------------- 1 | module Issue309 where 2 | 3 | type Ap p = p 4 | 5 | -------------------------------------------------------------------------------- /test/Succeed/Issue317.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue317.agda -------------------------------------------------------------------------------- /test/Succeed/Issue317.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue317.hs -------------------------------------------------------------------------------- /test/Succeed/Issue324.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue324.agda -------------------------------------------------------------------------------- /test/Succeed/Issue324.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue324.hs -------------------------------------------------------------------------------- /test/Succeed/Issue324instance.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue324instance.agda -------------------------------------------------------------------------------- /test/Succeed/Issue324instance.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue324instance.hs -------------------------------------------------------------------------------- /test/Succeed/Issue346.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue346.agda -------------------------------------------------------------------------------- /test/Succeed/Issue346.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue346.hs -------------------------------------------------------------------------------- /test/Succeed/Issue353.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue353.agda -------------------------------------------------------------------------------- /test/Succeed/Issue353.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue353.hs -------------------------------------------------------------------------------- /test/Succeed/Issue377.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue377.agda -------------------------------------------------------------------------------- /test/Succeed/Issue377.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue377.hs -------------------------------------------------------------------------------- /test/Succeed/Issue394.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue394.agda -------------------------------------------------------------------------------- /test/Succeed/Issue394.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue394.hs -------------------------------------------------------------------------------- /test/Succeed/Issue408.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue408.agda -------------------------------------------------------------------------------- /test/Succeed/Issue408.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue408.hs -------------------------------------------------------------------------------- /test/Succeed/Issue409.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue409.agda -------------------------------------------------------------------------------- /test/Succeed/Issue409.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue409.hs -------------------------------------------------------------------------------- /test/Succeed/Issue421.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue421.agda -------------------------------------------------------------------------------- /test/Succeed/Issue421.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue421.hs -------------------------------------------------------------------------------- /test/Succeed/Issue65.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue65.agda -------------------------------------------------------------------------------- /test/Succeed/Issue65.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue65.hs -------------------------------------------------------------------------------- /test/Succeed/Issue69.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue69.agda -------------------------------------------------------------------------------- /test/Succeed/Issue69.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue69.hs -------------------------------------------------------------------------------- /test/Succeed/Issue73.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue73.agda -------------------------------------------------------------------------------- /test/Succeed/Issue73.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue73.hs -------------------------------------------------------------------------------- /test/Succeed/Issue90.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue90.agda -------------------------------------------------------------------------------- /test/Succeed/Issue90.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue90.hs -------------------------------------------------------------------------------- /test/Succeed/Issue92.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue92.agda -------------------------------------------------------------------------------- /test/Succeed/Issue92.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue92.hs -------------------------------------------------------------------------------- /test/Succeed/Issue93.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue93.agda -------------------------------------------------------------------------------- /test/Succeed/Issue93.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue93.hs -------------------------------------------------------------------------------- /test/Succeed/Issue94.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue94.agda -------------------------------------------------------------------------------- /test/Succeed/Issue94.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Issue94.hs -------------------------------------------------------------------------------- /test/Succeed/Kinds.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Kinds.agda -------------------------------------------------------------------------------- /test/Succeed/Kinds.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Kinds.hs -------------------------------------------------------------------------------- /test/Succeed/LanguageConstructs.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/LanguageConstructs.agda -------------------------------------------------------------------------------- /test/Succeed/LanguageConstructs.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/LanguageConstructs.hs -------------------------------------------------------------------------------- /test/Succeed/LawfulOrd.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/LawfulOrd.agda -------------------------------------------------------------------------------- /test/Succeed/LawfulOrd.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/LawfulOrd.hs -------------------------------------------------------------------------------- /test/Succeed/LiteralPatterns.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/LiteralPatterns.agda -------------------------------------------------------------------------------- /test/Succeed/LiteralPatterns.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/LiteralPatterns.hs -------------------------------------------------------------------------------- /test/Succeed/ModuleParameters.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/ModuleParameters.agda -------------------------------------------------------------------------------- /test/Succeed/ModuleParameters.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/ModuleParameters.hs -------------------------------------------------------------------------------- /test/Succeed/ModuleParametersImports.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/ModuleParametersImports.agda -------------------------------------------------------------------------------- /test/Succeed/ModuleParametersImports.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/ModuleParametersImports.hs -------------------------------------------------------------------------------- /test/Succeed/NewTypePragma.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/NewTypePragma.agda -------------------------------------------------------------------------------- /test/Succeed/NewTypePragma.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/NewTypePragma.hs -------------------------------------------------------------------------------- /test/Succeed/NonClassInstance.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/NonClassInstance.agda -------------------------------------------------------------------------------- /test/Succeed/NonClassInstance.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/NonClassInstance.hs -------------------------------------------------------------------------------- /test/Succeed/Numbers.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Numbers.agda -------------------------------------------------------------------------------- /test/Succeed/Numbers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Numbers.hs -------------------------------------------------------------------------------- /test/Succeed/OtherImportee.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/OtherImportee.agda -------------------------------------------------------------------------------- /test/Succeed/OtherImportee.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/OtherImportee.hs -------------------------------------------------------------------------------- /test/Succeed/Pragmas.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Pragmas.agda -------------------------------------------------------------------------------- /test/Succeed/Pragmas.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Pragmas.hs -------------------------------------------------------------------------------- /test/Succeed/ProjLike.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/ProjLike.agda -------------------------------------------------------------------------------- /test/Succeed/ProjLike.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/ProjLike.hs -------------------------------------------------------------------------------- /test/Succeed/ProjectionLike.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/ProjectionLike.agda -------------------------------------------------------------------------------- /test/Succeed/ProjectionLike.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/ProjectionLike.hs -------------------------------------------------------------------------------- /test/Succeed/QualifiedImportee.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/QualifiedImportee.agda -------------------------------------------------------------------------------- /test/Succeed/QualifiedImportee.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/QualifiedImportee.hs -------------------------------------------------------------------------------- /test/Succeed/QualifiedImports.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/QualifiedImports.agda -------------------------------------------------------------------------------- /test/Succeed/QualifiedImports.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/QualifiedImports.hs -------------------------------------------------------------------------------- /test/Succeed/QualifiedModule.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/QualifiedModule.agda -------------------------------------------------------------------------------- /test/Succeed/QualifiedModule.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/QualifiedModule.hs -------------------------------------------------------------------------------- /test/Succeed/QualifiedPrelude.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/QualifiedPrelude.agda -------------------------------------------------------------------------------- /test/Succeed/QualifiedPrelude.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/QualifiedPrelude.hs -------------------------------------------------------------------------------- /test/Succeed/RankNTypes.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/RankNTypes.agda -------------------------------------------------------------------------------- /test/Succeed/RankNTypes.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/RankNTypes.hs -------------------------------------------------------------------------------- /test/Succeed/Records.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Records.agda -------------------------------------------------------------------------------- /test/Succeed/Records.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Records.hs -------------------------------------------------------------------------------- /test/Succeed/RelevantDotPattern1.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/RelevantDotPattern1.agda -------------------------------------------------------------------------------- /test/Succeed/RelevantDotPattern1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/RelevantDotPattern1.hs -------------------------------------------------------------------------------- /test/Succeed/RelevantDotPattern2.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/RelevantDotPattern2.agda -------------------------------------------------------------------------------- /test/Succeed/RelevantDotPattern2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/RelevantDotPattern2.hs -------------------------------------------------------------------------------- /test/Succeed/RelevantDotPattern3.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/RelevantDotPattern3.agda -------------------------------------------------------------------------------- /test/Succeed/RelevantDotPattern3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/RelevantDotPattern3.hs -------------------------------------------------------------------------------- /test/Succeed/RequalifiedImports.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/RequalifiedImports.agda -------------------------------------------------------------------------------- /test/Succeed/RequalifiedImports.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/RequalifiedImports.hs -------------------------------------------------------------------------------- /test/Succeed/RuntimeCast.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/RuntimeCast.agda -------------------------------------------------------------------------------- /test/Succeed/RuntimeCast.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/RuntimeCast.hs -------------------------------------------------------------------------------- /test/Succeed/ScopedTypeVariables.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/ScopedTypeVariables.agda -------------------------------------------------------------------------------- /test/Succeed/ScopedTypeVariables.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/ScopedTypeVariables.hs -------------------------------------------------------------------------------- /test/Succeed/SecondImportee.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/SecondImportee.agda -------------------------------------------------------------------------------- /test/Succeed/SecondImportee.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/SecondImportee.hs -------------------------------------------------------------------------------- /test/Succeed/Sections.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Sections.agda -------------------------------------------------------------------------------- /test/Succeed/Sections.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Sections.hs -------------------------------------------------------------------------------- /test/Succeed/Superclass.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Superclass.agda -------------------------------------------------------------------------------- /test/Succeed/Superclass.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Superclass.hs -------------------------------------------------------------------------------- /test/Succeed/Test.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Test.agda -------------------------------------------------------------------------------- /test/Succeed/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Test.hs -------------------------------------------------------------------------------- /test/Succeed/TransparentFun.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/TransparentFun.agda -------------------------------------------------------------------------------- /test/Succeed/TransparentFun.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/TransparentFun.hs -------------------------------------------------------------------------------- /test/Succeed/Tree.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Tree.agda -------------------------------------------------------------------------------- /test/Succeed/Tree.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Tree.hs -------------------------------------------------------------------------------- /test/Succeed/Tuples.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Tuples.agda -------------------------------------------------------------------------------- /test/Succeed/Tuples.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Tuples.hs -------------------------------------------------------------------------------- /test/Succeed/TypeBasedUnboxing.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/TypeBasedUnboxing.agda -------------------------------------------------------------------------------- /test/Succeed/TypeBasedUnboxing.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/TypeBasedUnboxing.hs -------------------------------------------------------------------------------- /test/Succeed/TypeDirected.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/TypeDirected.agda -------------------------------------------------------------------------------- /test/Succeed/TypeDirected.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/TypeDirected.hs -------------------------------------------------------------------------------- /test/Succeed/TypeOperatorExport.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/TypeOperatorExport.agda -------------------------------------------------------------------------------- /test/Succeed/TypeOperatorExport.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/TypeOperatorExport.hs -------------------------------------------------------------------------------- /test/Succeed/TypeOperatorImport.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/TypeOperatorImport.agda -------------------------------------------------------------------------------- /test/Succeed/TypeOperatorImport.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/TypeOperatorImport.hs -------------------------------------------------------------------------------- /test/Succeed/TypeOperators.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/TypeOperators.agda -------------------------------------------------------------------------------- /test/Succeed/TypeOperators.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/TypeOperators.hs -------------------------------------------------------------------------------- /test/Succeed/TypeSignature.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/TypeSignature.agda -------------------------------------------------------------------------------- /test/Succeed/TypeSignature.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/TypeSignature.hs -------------------------------------------------------------------------------- /test/Succeed/TypeSynonyms.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/TypeSynonyms.agda -------------------------------------------------------------------------------- /test/Succeed/TypeSynonyms.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/TypeSynonyms.hs -------------------------------------------------------------------------------- /test/Succeed/UnboxPragma.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/UnboxPragma.agda -------------------------------------------------------------------------------- /test/Succeed/UnboxPragma.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/UnboxPragma.hs -------------------------------------------------------------------------------- /test/Succeed/Vector.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Vector.agda -------------------------------------------------------------------------------- /test/Succeed/Vector.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Vector.hs -------------------------------------------------------------------------------- /test/Succeed/Where.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Where.agda -------------------------------------------------------------------------------- /test/Succeed/Where.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/Where.hs -------------------------------------------------------------------------------- /test/Succeed/WitnessedFlows.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/WitnessedFlows.agda -------------------------------------------------------------------------------- /test/Succeed/WitnessedFlows.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/Succeed/WitnessedFlows.hs -------------------------------------------------------------------------------- /test/agda2hs-test.agda-lib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/agda2hs-test.agda-lib -------------------------------------------------------------------------------- /test/golden/Issue449.err: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/golden/Issue449.err -------------------------------------------------------------------------------- /test/renderTranslations.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/test/renderTranslations.sh -------------------------------------------------------------------------------- /tutorials/example-basics/HelloWorld.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/tutorials/example-basics/HelloWorld.agda -------------------------------------------------------------------------------- /tutorials/example-basics/HelloWorld.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/tutorials/example-basics/HelloWorld.hs -------------------------------------------------------------------------------- /tutorials/example-basics/example-basics.agda-lib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/tutorials/example-basics/example-basics.agda-lib -------------------------------------------------------------------------------- /tutorials/example-proofs/Ascending.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/tutorials/example-proofs/Ascending.agda -------------------------------------------------------------------------------- /tutorials/example-proofs/Triangle.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/tutorials/example-proofs/Triangle.agda -------------------------------------------------------------------------------- /tutorials/example-proofs/example-proofs.agda-lib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/tutorials/example-proofs/example-proofs.agda-lib -------------------------------------------------------------------------------- /tutorials/example-structure/example-structure.agda-lib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/tutorials/example-structure/example-structure.agda-lib -------------------------------------------------------------------------------- /tutorials/example-structure/script.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/tutorials/example-structure/script.sh -------------------------------------------------------------------------------- /tutorials/example-structure/src/agda/Definition.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/tutorials/example-structure/src/agda/Definition.agda -------------------------------------------------------------------------------- /tutorials/example-structure/src/agda/Usage.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/tutorials/example-structure/src/agda/Usage.agda -------------------------------------------------------------------------------- /tutorials/example-structure/src/haskell/Definition.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/tutorials/example-structure/src/haskell/Definition.hs -------------------------------------------------------------------------------- /tutorials/example-structure/src/haskell/Usage.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda2hs/HEAD/tutorials/example-structure/src/haskell/Usage.hs --------------------------------------------------------------------------------