diff --git a/src/IRTS/Bytecode.hs b/src/IRTS/Bytecode.hs index fb27096b90..3a71469678 100644 --- a/src/IRTS/Bytecode.hs +++ b/src/IRTS/Bytecode.hs @@ -2,7 +2,7 @@ Module : IRTS.Bytecode Description : Bytecode for a stack based VM (e.g. for generating C code with an accurate hand written GC) -Copyright : + License : BSD3 Maintainer : The Idris Community. diff --git a/src/IRTS/CodegenC.hs b/src/IRTS/CodegenC.hs index 6c60edcced..b9d5e4fbe3 100644 --- a/src/IRTS/CodegenC.hs +++ b/src/IRTS/CodegenC.hs @@ -1,7 +1,7 @@ {-| Module : IRTS.CodegenC Description : The default code generator for Idris, generating C code. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/IRTS/CodegenCommon.hs b/src/IRTS/CodegenCommon.hs index 89a5910c82..541f495914 100644 --- a/src/IRTS/CodegenCommon.hs +++ b/src/IRTS/CodegenCommon.hs @@ -2,7 +2,7 @@ {-| Module : IRTS.CodegenCommon Description : Common data structures required for all code generators. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/IRTS/CodegenJavaScript.hs b/src/IRTS/CodegenJavaScript.hs index 13ab3d5e39..1d6fc91dbd 100644 --- a/src/IRTS/CodegenJavaScript.hs +++ b/src/IRTS/CodegenJavaScript.hs @@ -1,7 +1,7 @@ {-| Module : IRTS.CodegenJavaScript Description : The JavaScript code generator. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/IRTS/Compiler.hs b/src/IRTS/Compiler.hs index b6c966bc90..63bba0607c 100644 --- a/src/IRTS/Compiler.hs +++ b/src/IRTS/Compiler.hs @@ -1,7 +1,7 @@ {-| Module : IRTS.Compiler Description : Coordinates the compilation process. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/IRTS/Defunctionalise.hs b/src/IRTS/Defunctionalise.hs index 26340a8884..707588c4fa 100644 --- a/src/IRTS/Defunctionalise.hs +++ b/src/IRTS/Defunctionalise.hs @@ -1,7 +1,7 @@ {-| Module : IRTS.Defunctionalise Description : Defunctionalise Idris' IR. -Copyright : + License : BSD3 Maintainer : The Idris Community. diff --git a/src/IRTS/DumpBC.hs b/src/IRTS/DumpBC.hs index bcad069aa2..568fe20b16 100644 --- a/src/IRTS/DumpBC.hs +++ b/src/IRTS/DumpBC.hs @@ -1,7 +1,7 @@ {-| Module : IRTS.DumpBC Description : Serialise Idris to its IBC format. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/IRTS/Exports.hs b/src/IRTS/Exports.hs index 1a65893e05..12a93a0fd0 100644 --- a/src/IRTS/Exports.hs +++ b/src/IRTS/Exports.hs @@ -1,7 +1,7 @@ {-| Module : IRTS.Exports Description : Deal with external things. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/IRTS/Inliner.hs b/src/IRTS/Inliner.hs index 2eb59ad8eb..a5a5a8ffa0 100644 --- a/src/IRTS/Inliner.hs +++ b/src/IRTS/Inliner.hs @@ -1,7 +1,7 @@ {-| Module : IRTS.Inliner Description : Inline expressions. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/IRTS/JavaScript/AST.hs b/src/IRTS/JavaScript/AST.hs index 84a15036c6..ae2f935037 100644 --- a/src/IRTS/JavaScript/AST.hs +++ b/src/IRTS/JavaScript/AST.hs @@ -1,7 +1,7 @@ {-| Module : IRTS.JavaScript.AST Description : The JavaScript AST. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/IRTS/JavaScript/Codegen.hs b/src/IRTS/JavaScript/Codegen.hs index 03d8f1fa16..b041dbee41 100644 --- a/src/IRTS/JavaScript/Codegen.hs +++ b/src/IRTS/JavaScript/Codegen.hs @@ -1,7 +1,7 @@ {-| Module : IRTS.JavaScript.Codegen Description : The JavaScript common code generator. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/IRTS/JavaScript/LangTransforms.hs b/src/IRTS/JavaScript/LangTransforms.hs index f6a6013fc1..5cca29c1e0 100644 --- a/src/IRTS/JavaScript/LangTransforms.hs +++ b/src/IRTS/JavaScript/LangTransforms.hs @@ -1,7 +1,7 @@ {-| Module : IRTS.JavaScript.LangTransforms Description : The JavaScript LDecl Transformations. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/IRTS/JavaScript/Name.hs b/src/IRTS/JavaScript/Name.hs index 546197e1fc..6faeac6400 100644 --- a/src/IRTS/JavaScript/Name.hs +++ b/src/IRTS/JavaScript/Name.hs @@ -1,7 +1,7 @@ {-| Module : IRTS.JavaScript.Name Description : The JavaScript name mangler. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/IRTS/JavaScript/PrimOp.hs b/src/IRTS/JavaScript/PrimOp.hs index 29b266a8d5..05be14c089 100644 --- a/src/IRTS/JavaScript/PrimOp.hs +++ b/src/IRTS/JavaScript/PrimOp.hs @@ -1,7 +1,7 @@ {-| Module : IRTS.JavaScript.PrimOp Description : The JavaScript primitive operations. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/IRTS/JavaScript/Specialize.hs b/src/IRTS/JavaScript/Specialize.hs index 6189b1c3b2..fbdf6df55a 100644 --- a/src/IRTS/JavaScript/Specialize.hs +++ b/src/IRTS/JavaScript/Specialize.hs @@ -1,7 +1,7 @@ {-| Module : IRTS.JavaScript.Specialize Description : The JavaScript specializer. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/IRTS/Lang.hs b/src/IRTS/Lang.hs index 234c5271ee..e41f9a45bb 100644 --- a/src/IRTS/Lang.hs +++ b/src/IRTS/Lang.hs @@ -1,7 +1,7 @@ {-| Module : IRTS.Lang Description : Internal representation of Idris' constructs. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/IRTS/LangOpts.hs b/src/IRTS/LangOpts.hs index 90df9add03..b226b78f2d 100644 --- a/src/IRTS/LangOpts.hs +++ b/src/IRTS/LangOpts.hs @@ -1,7 +1,7 @@ {-| Module : IRTS.LangOpts Description : Transformations to apply to Idris' IR. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/IRTS/Portable.hs b/src/IRTS/Portable.hs index f3e3c616d6..9f94a516e5 100644 --- a/src/IRTS/Portable.hs +++ b/src/IRTS/Portable.hs @@ -1,7 +1,7 @@ {-| Module : IRTS.Portable Description : Serialise Idris' IR to JSON. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/IRTS/Simplified.hs b/src/IRTS/Simplified.hs index 8a66bb4612..190d27d85e 100644 --- a/src/IRTS/Simplified.hs +++ b/src/IRTS/Simplified.hs @@ -1,7 +1,7 @@ {-| Module : IRTS.Simplified Description : Simplified expressions, where functions/constructors can only be applied to variables. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/IRTS/System.hs b/src/IRTS/System.hs index aa8369b448..f6699944ff 100644 --- a/src/IRTS/System.hs +++ b/src/IRTS/System.hs @@ -1,7 +1,7 @@ {-| Module : IRTS.System Description : Utilities for interacting with the System. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/ASTUtils.hs b/src/Idris/ASTUtils.hs index 4e15d3f9e5..bce096b0df 100644 --- a/src/Idris/ASTUtils.hs +++ b/src/Idris/ASTUtils.hs @@ -2,7 +2,7 @@ {-| Module : Idris.ASTUtils Description : This implements just a few basic lens-like concepts to ease state updates. Similar to fclabels in approach, just without the extra dependency. -Copyright : + License : BSD3 Maintainer : The Idris Community. diff --git a/src/Idris/AbsSyntax.hs b/src/Idris/AbsSyntax.hs index 3a2769db62..d54b06a007 100644 --- a/src/Idris/AbsSyntax.hs +++ b/src/Idris/AbsSyntax.hs @@ -1,7 +1,7 @@ {-| Module : Idris.AbsSyntax Description : Provides Idris' core data definitions and utility code. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/AbsSyntaxTree.hs b/src/Idris/AbsSyntaxTree.hs index fcccbe96f3..7757a0c809 100644 --- a/src/Idris/AbsSyntaxTree.hs +++ b/src/Idris/AbsSyntaxTree.hs @@ -1,7 +1,7 @@ {-| Module : Idris.AbsSyntaxTree Description : Core data definitions used in Idris. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Apropos.hs b/src/Idris/Apropos.hs index 2bc3671a53..62d66487e1 100644 --- a/src/Idris/Apropos.hs +++ b/src/Idris/Apropos.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Apropos Description : Search loaded Idris code and named modules for things. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/CaseSplit.hs b/src/Idris/CaseSplit.hs index 181e40c400..953ec1de61 100644 --- a/src/Idris/CaseSplit.hs +++ b/src/Idris/CaseSplit.hs @@ -1,7 +1,7 @@ {-| Module : Idris.CaseSplit Description : Module to provide case split functionality. -Copyright : + License : BSD3 Maintainer : The Idris Community. diff --git a/src/Idris/Chaser.hs b/src/Idris/Chaser.hs index da81d5936b..363ed3100b 100644 --- a/src/Idris/Chaser.hs +++ b/src/Idris/Chaser.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Chaser Description : Module chaser to determine cycles and import modules. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Colours.hs b/src/Idris/Colours.hs index 8d5e80b7ec..30167dedc2 100644 --- a/src/Idris/Colours.hs +++ b/src/Idris/Colours.hs @@ -2,7 +2,7 @@ {-| Module : Idris.Colours Description : Support for colours within Idris. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Completion.hs b/src/Idris/Completion.hs index eb679bd8b4..702ca472dd 100644 --- a/src/Idris/Completion.hs +++ b/src/Idris/Completion.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Completion Description : Support for command-line completion at the REPL and in the prover. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Core/Binary.hs b/src/Idris/Core/Binary.hs index fdad8de076..8cd64af5a7 100644 --- a/src/Idris/Core/Binary.hs +++ b/src/Idris/Core/Binary.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Core.Binary Description : Binary instances for the core datatypes -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Core/CaseTree.hs b/src/Idris/Core/CaseTree.hs index 9fda2ab749..ac5f7c4607 100644 --- a/src/Idris/Core/CaseTree.hs +++ b/src/Idris/Core/CaseTree.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Core.CaseTree Description : Module to define and interact with case trees. -Copyright : + License : BSD3 Maintainer : The Idris Community. diff --git a/src/Idris/Core/Constraints.hs b/src/Idris/Core/Constraints.hs index 44d8a2ffe0..6979ab145d 100644 --- a/src/Idris/Core/Constraints.hs +++ b/src/Idris/Core/Constraints.hs @@ -2,7 +2,7 @@ {-| Module : Idris.Core.Constraints Description : Check universe constraints. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Core/DeepSeq.hs b/src/Idris/Core/DeepSeq.hs index 5617c3c37d..90f2448234 100644 --- a/src/Idris/Core/DeepSeq.hs +++ b/src/Idris/Core/DeepSeq.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Core.DeepSeq Description : NFData instances for TT. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Core/Elaborate.hs b/src/Idris/Core/Elaborate.hs index 8a73d9f0dc..c7bbe8656d 100644 --- a/src/Idris/Core/Elaborate.hs +++ b/src/Idris/Core/Elaborate.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Core.Elaborate Description : A high level language of tactic composition, for building elaborators from a high level language into the core theory. -Copyright : + License : BSD3 Maintainer : The Idris Community. diff --git a/src/Idris/Core/Evaluate.hs b/src/Idris/Core/Evaluate.hs index 71e09af864..7e293768b9 100644 --- a/src/Idris/Core/Evaluate.hs +++ b/src/Idris/Core/Evaluate.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Core.Evaluate Description : Evaluate Idris expressions. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Core/Execute.hs b/src/Idris/Core/Execute.hs index 0757cb6e18..951ea3ac22 100644 --- a/src/Idris/Core/Execute.hs +++ b/src/Idris/Core/Execute.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Core.Execute Description : Execute Idris code and deal with FFI. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Core/ProofState.hs b/src/Idris/Core/ProofState.hs index 032b265205..d348a4162f 100644 --- a/src/Idris/Core/ProofState.hs +++ b/src/Idris/Core/ProofState.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Core.ProofState Description : Proof state implementation. -Copyright : + License : BSD3 Maintainer : The Idris Community. diff --git a/src/Idris/Core/ProofTerm.hs b/src/Idris/Core/ProofTerm.hs index fca41bafa4..456672479a 100644 --- a/src/Idris/Core/ProofTerm.hs +++ b/src/Idris/Core/ProofTerm.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Core.ProofTerm Description : Proof term. implementation and utilities. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Core/TT.hs b/src/Idris/Core/TT.hs index 1b891d06e6..d19512001f 100644 --- a/src/Idris/Core/TT.hs +++ b/src/Idris/Core/TT.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Core.TT Description : The core language of Idris, TT. -Copyright : + License : BSD3 Maintainer : The Idris Community. diff --git a/src/Idris/Core/Typecheck.hs b/src/Idris/Core/Typecheck.hs index 58589ea501..4ac002312b 100644 --- a/src/Idris/Core/Typecheck.hs +++ b/src/Idris/Core/Typecheck.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Core.Typecheck Description : Idris' type checker. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Core/Unify.hs b/src/Idris/Core/Unify.hs index c2bf00b3bd..e9429a6ca7 100644 --- a/src/Idris/Core/Unify.hs +++ b/src/Idris/Core/Unify.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Core.Unify Description : Idris' unification code. -Copyright : + License : BSD3 Maintainer : The Idris Community. diff --git a/src/Idris/Core/WHNF.hs b/src/Idris/Core/WHNF.hs index 316d6ad2c0..e83b489513 100644 --- a/src/Idris/Core/WHNF.hs +++ b/src/Idris/Core/WHNF.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Core.WHNF Description : Reduction to Weak Head Normal Form -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Coverage.hs b/src/Idris/Coverage.hs index 4634ad88b4..e348bf9e42 100644 --- a/src/Idris/Coverage.hs +++ b/src/Idris/Coverage.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Coverage Description : Clause generation for coverage checking -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/DSL.hs b/src/Idris/DSL.hs index 7ad3ea5489..07723379a9 100644 --- a/src/Idris/DSL.hs +++ b/src/Idris/DSL.hs @@ -1,7 +1,7 @@ {-| Module : Idris.DSL Description : Code to deal with DSL blocks. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/DataOpts.hs b/src/Idris/DataOpts.hs index dcdfb1768a..2b2d96f7bb 100644 --- a/src/Idris/DataOpts.hs +++ b/src/Idris/DataOpts.hs @@ -1,7 +1,7 @@ {-| Module : Idris.DataOpts Description : Optimisations for Idris code i.e. Forcing, detagging and collapsing. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/DeepSeq.hs b/src/Idris/DeepSeq.hs index 08a3ada7d4..6225a0036f 100644 --- a/src/Idris/DeepSeq.hs +++ b/src/Idris/DeepSeq.hs @@ -1,7 +1,7 @@ {-| Module : Idris.DeepSeq Description : NFData instances for Idris' types -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Delaborate.hs b/src/Idris/Delaborate.hs index ec3a8c915e..ebea2e4e22 100644 --- a/src/Idris/Delaborate.hs +++ b/src/Idris/Delaborate.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Delaborate Description : Convert core TT back into high level syntax, primarily for display purposes. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Directives.hs b/src/Idris/Directives.hs index e1f4a02da3..c2c157340a 100644 --- a/src/Idris/Directives.hs +++ b/src/Idris/Directives.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Directives Description : Act upon Idris directives. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Docs.hs b/src/Idris/Docs.hs index 411c98f188..dd8dd5d215 100644 --- a/src/Idris/Docs.hs +++ b/src/Idris/Docs.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Docs Description : Data structures and utilities to work with Idris Documentation. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Docstrings.hs b/src/Idris/Docstrings.hs index cb724ee0eb..a581565b98 100644 --- a/src/Idris/Docstrings.hs +++ b/src/Idris/Docstrings.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Docstrings Description : Wrapper around Markdown library. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Elab/AsPat.hs b/src/Idris/Elab/AsPat.hs index e73e67fd9d..8a1d9e8512 100644 --- a/src/Idris/Elab/AsPat.hs +++ b/src/Idris/Elab/AsPat.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Elab.AsPat Description : Code to elaborate pattern variables. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Elab/Clause.hs b/src/Idris/Elab/Clause.hs index 6ed73da37b..4b2c6740dc 100644 --- a/src/Idris/Elab/Clause.hs +++ b/src/Idris/Elab/Clause.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Elab.Clause Description : Code to elaborate clauses. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Elab/Data.hs b/src/Idris/Elab/Data.hs index dff1e1212e..9335883958 100644 --- a/src/Idris/Elab/Data.hs +++ b/src/Idris/Elab/Data.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Elab.Data Description : Code to elaborate data structures. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Elab/Implementation.hs b/src/Idris/Elab/Implementation.hs index bd634a65de..ad99e23e86 100644 --- a/src/Idris/Elab/Implementation.hs +++ b/src/Idris/Elab/Implementation.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Elab.Implementation Description : Code to elaborate instances. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Elab/Interface.hs b/src/Idris/Elab/Interface.hs index f1d4dbe371..328e2b774c 100644 --- a/src/Idris/Elab/Interface.hs +++ b/src/Idris/Elab/Interface.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Elab.Interface Description : Code to elaborate interfaces. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Elab/Provider.hs b/src/Idris/Elab/Provider.hs index 05c15568b6..b359dc3c59 100644 --- a/src/Idris/Elab/Provider.hs +++ b/src/Idris/Elab/Provider.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Elab.Provider Description : Code to elaborate type providers. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Elab/Quasiquote.hs b/src/Idris/Elab/Quasiquote.hs index 3e9bc6f7be..a07d53dd8e 100644 --- a/src/Idris/Elab/Quasiquote.hs +++ b/src/Idris/Elab/Quasiquote.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Elab.Quasiquote Description : Code to elaborate quasiquotations. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Elab/Record.hs b/src/Idris/Elab/Record.hs index ff0012e4cc..4c685e92ef 100644 --- a/src/Idris/Elab/Record.hs +++ b/src/Idris/Elab/Record.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Elab.Record Description : Code to elaborate records. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Elab/Rewrite.hs b/src/Idris/Elab/Rewrite.hs index 91dbc61cfb..d48273b91d 100644 --- a/src/Idris/Elab/Rewrite.hs +++ b/src/Idris/Elab/Rewrite.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Elab.Rewrite Description : Code to elaborate rewrite rules. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Elab/RunElab.hs b/src/Idris/Elab/RunElab.hs index 876da02bb8..d0a6240e1f 100644 --- a/src/Idris/Elab/RunElab.hs +++ b/src/Idris/Elab/RunElab.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Elab.RunElab Description : Code to run the elaborator process. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Elab/Term.hs b/src/Idris/Elab/Term.hs index e33ec90e16..eb19da1fd6 100644 --- a/src/Idris/Elab/Term.hs +++ b/src/Idris/Elab/Term.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Elab.Term Description : Code to elaborate terms. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Elab/Transform.hs b/src/Idris/Elab/Transform.hs index b1a72097f8..71b160730f 100644 --- a/src/Idris/Elab/Transform.hs +++ b/src/Idris/Elab/Transform.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Elab.Transform Description : Transformations for elaborate terms. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Elab/Type.hs b/src/Idris/Elab/Type.hs index 8416f02d38..1997f9b769 100644 --- a/src/Idris/Elab/Type.hs +++ b/src/Idris/Elab/Type.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Elab.Type Description : Code to elaborate types. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Elab/Utils.hs b/src/Idris/Elab/Utils.hs index 533c70dfde..46dd882d05 100644 --- a/src/Idris/Elab/Utils.hs +++ b/src/Idris/Elab/Utils.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Elab.Utils Description : Elaborator utilities. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Elab/Value.hs b/src/Idris/Elab/Value.hs index 41c8f70845..25cd34407a 100644 --- a/src/Idris/Elab/Value.hs +++ b/src/Idris/Elab/Value.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Elab.Value Description : Code to elaborate values. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/ElabDecls.hs b/src/Idris/ElabDecls.hs index 763e0cc81b..1adfc14165 100644 --- a/src/Idris/ElabDecls.hs +++ b/src/Idris/ElabDecls.hs @@ -1,7 +1,7 @@ {-| Module : Idris.ElabDecls Description : Code to elaborate declarations. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Erasure.hs b/src/Idris/Erasure.hs index 58b071ab39..0f0354b92d 100644 --- a/src/Idris/Erasure.hs +++ b/src/Idris/Erasure.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Erasure Description : Utilities to erase stuff not necessary for runtime. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/ErrReverse.hs b/src/Idris/ErrReverse.hs index fbfbcb5500..c438c60f8f 100644 --- a/src/Idris/ErrReverse.hs +++ b/src/Idris/ErrReverse.hs @@ -1,7 +1,7 @@ {-| Module : Idris.ErrReverse Description : Utility to make errors readable using transformations. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Error.hs b/src/Idris/Error.hs index 53d4678f3a..8226e5998e 100644 --- a/src/Idris/Error.hs +++ b/src/Idris/Error.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Error Description : Utilities to deal with error reporting. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Help.hs b/src/Idris/Help.hs index 0b8d824046..77bfad9aee 100644 --- a/src/Idris/Help.hs +++ b/src/Idris/Help.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Help Description : Utilities to aid with the REPL's HELP system. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/IBC.hs b/src/Idris/IBC.hs index f86ebc017c..a3f7138120 100644 --- a/src/Idris/IBC.hs +++ b/src/Idris/IBC.hs @@ -1,7 +1,7 @@ {-| Module : Idris.IBC Description : Core representations and code to generate IBC files. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/IdeMode.hs b/src/Idris/IdeMode.hs index 404ae170a8..f8c431c7c9 100644 --- a/src/Idris/IdeMode.hs +++ b/src/Idris/IdeMode.hs @@ -1,7 +1,7 @@ {-| Module : Idris.IdeMode Description : Idris' IDE Mode -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/IdrisDoc.hs b/src/Idris/IdrisDoc.hs index 79d509b3ac..71cb183ba6 100644 --- a/src/Idris/IdrisDoc.hs +++ b/src/Idris/IdrisDoc.hs @@ -1,7 +1,7 @@ {-| Module : Idris.IdrisDoc Description : Generation of HTML documentation for Idris code -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Imports.hs b/src/Idris/Imports.hs index 16894fad3d..7b10366d16 100644 --- a/src/Idris/Imports.hs +++ b/src/Idris/Imports.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Imports Description : Code to handle import declarations. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Info.hs b/src/Idris/Info.hs index 089c62c6e2..21479afa47 100644 --- a/src/Idris/Info.hs +++ b/src/Idris/Info.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Info Description : Get information about Idris. -Copyright : 2016 The Idris Community + 2016 The Idris Community License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Inliner.hs b/src/Idris/Inliner.hs index 0eae68f914..7249a67112 100644 --- a/src/Idris/Inliner.hs +++ b/src/Idris/Inliner.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Inliner Description : Idris' Inliner. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Interactive.hs b/src/Idris/Interactive.hs index 2a4dd95030..7c86c2ee89 100644 --- a/src/Idris/Interactive.hs +++ b/src/Idris/Interactive.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Interactive Description : Bits and pieces for editing source files interactively, called from the REPL -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Options.hs b/src/Idris/Options.hs index 10f95834ff..ae28aaee7a 100644 --- a/src/Idris/Options.hs +++ b/src/Idris/Options.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Options Description : Compiler options for Idris. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Output.hs b/src/Idris/Output.hs index ecbd836246..dd4e6e96fd 100644 --- a/src/Idris/Output.hs +++ b/src/Idris/Output.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Output Description : Utilities to display Idris' internals and other informtation to the user. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Package.hs b/src/Idris/Package.hs index 6789c82e17..e4da723e17 100644 --- a/src/Idris/Package.hs +++ b/src/Idris/Package.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Package Description : Functionality for working with Idris packages. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Package/Parser.hs b/src/Idris/Package/Parser.hs index 0725c2144e..d81a338186 100644 --- a/src/Idris/Package/Parser.hs +++ b/src/Idris/Package/Parser.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Package.Parser Description : `iPKG` file parser and package description information. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Parser.hs b/src/Idris/Parser.hs index 4e13b1b1ab..e7ee0a6c6e 100644 --- a/src/Idris/Parser.hs +++ b/src/Idris/Parser.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Parser Description : Idris' parser. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Parser/Data.hs b/src/Idris/Parser/Data.hs index b97351b30a..02cd9b83b0 100644 --- a/src/Idris/Parser/Data.hs +++ b/src/Idris/Parser/Data.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Parser.Data Description : Parse Data declarations. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Parser/Expr.hs b/src/Idris/Parser/Expr.hs index 0575fee77a..cd091465b2 100644 --- a/src/Idris/Parser/Expr.hs +++ b/src/Idris/Parser/Expr.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Parser.Expr Description : Parse Expressions. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Parser/Helpers.hs b/src/Idris/Parser/Helpers.hs index 9d87d4c9bf..d9fcfe8837 100644 --- a/src/Idris/Parser/Helpers.hs +++ b/src/Idris/Parser/Helpers.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Parser.Helpers Description : Utilities for Idris' parser. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Parser/Ops.hs b/src/Idris/Parser/Ops.hs index d1c7ebfda7..c9350a9f58 100644 --- a/src/Idris/Parser/Ops.hs +++ b/src/Idris/Parser/Ops.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Parser.Ops Description : Parser for operators and fixity declarations. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/PartialEval.hs b/src/Idris/PartialEval.hs index fc665919a5..fe349a546b 100644 --- a/src/Idris/PartialEval.hs +++ b/src/Idris/PartialEval.hs @@ -1,7 +1,7 @@ {-| Module : Idris.PartialEval Description : Implementation of a partial evaluator. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Primitives.hs b/src/Idris/Primitives.hs index b16e2000a0..fa6bb40caa 100644 --- a/src/Idris/Primitives.hs +++ b/src/Idris/Primitives.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Primitives Description : Provision of primitive data types. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/ProofSearch.hs b/src/Idris/ProofSearch.hs index a56064b039..9f5263fda9 100644 --- a/src/Idris/ProofSearch.hs +++ b/src/Idris/ProofSearch.hs @@ -1,7 +1,7 @@ {-| Module : Idris.ProofSearch Description : Searches current context for proofs' -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Prover.hs b/src/Idris/Prover.hs index d5e9ca1d42..064084e480 100644 --- a/src/Idris/Prover.hs +++ b/src/Idris/Prover.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Prover Description : Idris' theorem prover. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Providers.hs b/src/Idris/Providers.hs index 9654918241..ba70cf26d5 100644 --- a/src/Idris/Providers.hs +++ b/src/Idris/Providers.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Providers Description : Idris' 'Type Provider' implementation. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/REPL/Browse.hs b/src/Idris/REPL/Browse.hs index 208578e9ea..3f7fb2270e 100644 --- a/src/Idris/REPL/Browse.hs +++ b/src/Idris/REPL/Browse.hs @@ -1,7 +1,7 @@ {-| Module : Idris.REPL.Browse Description : Browse the current namespace. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Reflection.hs b/src/Idris/Reflection.hs index 6601d2ce7e..c8c674085f 100644 --- a/src/Idris/Reflection.hs +++ b/src/Idris/Reflection.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Reflection Description : Code related to Idris's reflection system. This module contains quoters and unquoters along with some supporting datatypes. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Termination.hs b/src/Idris/Termination.hs index 87b30e2ee5..9f18714cfa 100644 --- a/src/Idris/Termination.hs +++ b/src/Idris/Termination.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Termination Description : The termination checker for Idris -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Transforms.hs b/src/Idris/Transforms.hs index c372fc1bd2..c244dde85b 100644 --- a/src/Idris/Transforms.hs +++ b/src/Idris/Transforms.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Transforms Description : A collection of transformations. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/TypeSearch.hs b/src/Idris/TypeSearch.hs index 73cbe661fb..157473946b 100644 --- a/src/Idris/TypeSearch.hs +++ b/src/Idris/TypeSearch.hs @@ -1,7 +1,7 @@ {-| Module : Idris.TypeSearch Description : A Hoogle for Idris. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/Unlit.hs b/src/Idris/Unlit.hs index f5cb4139c6..883cfbb677 100644 --- a/src/Idris/Unlit.hs +++ b/src/Idris/Unlit.hs @@ -1,7 +1,7 @@ {-| Module : Idris.Unlit Description : Turn literate programs into normal programs. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Idris/WhoCalls.hs b/src/Idris/WhoCalls.hs index b0ba3ab977..ac2d3017d6 100644 --- a/src/Idris/WhoCalls.hs +++ b/src/Idris/WhoCalls.hs @@ -1,7 +1,7 @@ {-| Module : Idris.WhoCalls Description : Find function callers and callees. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Util/DynamicLinker.hs b/src/Util/DynamicLinker.hs index 08db317e98..c39dd8cd58 100644 --- a/src/Util/DynamicLinker.hs +++ b/src/Util/DynamicLinker.hs @@ -1,7 +1,7 @@ {-| Module : Util.DynamicLinker Description : Platform-specific dynamic linking support. Add new platforms to this file through conditional compilation. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Util/Net.hs b/src/Util/Net.hs index 41863db4e2..d0975524f3 100644 --- a/src/Util/Net.hs +++ b/src/Util/Net.hs @@ -1,7 +1,7 @@ {-| Module : Util.Net Description : Utilities for Network IO. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Util/Pretty.hs b/src/Util/Pretty.hs index 018396e41f..044f542d3b 100644 --- a/src/Util/Pretty.hs +++ b/src/Util/Pretty.hs @@ -1,7 +1,7 @@ {-| Module : Util.Pretty Description : Utilities for Pretty Printing. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Util/ScreenSize.hs b/src/Util/ScreenSize.hs index 539822e02b..10e563761c 100644 --- a/src/Util/ScreenSize.hs +++ b/src/Util/ScreenSize.hs @@ -1,7 +1,7 @@ {-| Module : Util.ScreenSize Description : Utilities for getting screen width. -Copyright : + License : BSD3 Maintainer : The Idris Community. -} diff --git a/src/Util/System.hs b/src/Util/System.hs index e20dd45ff5..658345aa76 100644 --- a/src/Util/System.hs +++ b/src/Util/System.hs @@ -1,7 +1,7 @@ {-| Module : Util.System Description : Utilities for interacting with the system. -Copyright : + License : BSD3 Maintainer : The Idris Community. -}