git.iko.soy/Idris-dev
on master help sign in
Remove the empty property 'copyright'.
3ccb494Jan de Muijnck-Hughes
src/IRTS/Bytecode.hs+1−1
compare with master
unifiedsplit
@@ -2,7 +2,7 @@
2Module : IRTS.Bytecode
2Module : IRTS.Bytecode
3Description : Bytecode for a stack based VM (e.g. for generating C code with an accurate hand written GC)
3Description : Bytecode for a stack based VM (e.g. for generating C code with an accurate hand written GC)
4
4
5−Copyright :
5+
6License : BSD3
6License : BSD3
7Maintainer : The Idris Community.
7Maintainer : The Idris Community.
8
8
src/IRTS/CodegenC.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : IRTS.CodegenC
2Module : IRTS.CodegenC
3Description : The default code generator for Idris, generating C code.
3Description : The default code generator for Idris, generating C code.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/IRTS/CodegenCommon.hs+1−1
@@ -2,7 +2,7 @@
2{-|
2{-|
3Module : IRTS.CodegenCommon
3Module : IRTS.CodegenCommon
4Description : Common data structures required for all code generators.
4Description : Common data structures required for all code generators.
5−Copyright :
5+
6License : BSD3
6License : BSD3
7Maintainer : The Idris Community.
7Maintainer : The Idris Community.
8-}
8-}
src/IRTS/CodegenJavaScript.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : IRTS.CodegenJavaScript
2Module : IRTS.CodegenJavaScript
3Description : The JavaScript code generator.
3Description : The JavaScript code generator.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/IRTS/Compiler.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : IRTS.Compiler
2Module : IRTS.Compiler
3Description : Coordinates the compilation process.
3Description : Coordinates the compilation process.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/IRTS/Defunctionalise.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : IRTS.Defunctionalise
2Module : IRTS.Defunctionalise
3Description : Defunctionalise Idris' IR.
3Description : Defunctionalise Idris' IR.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7
7
src/IRTS/DumpBC.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : IRTS.DumpBC
2Module : IRTS.DumpBC
3Description : Serialise Idris to its IBC format.
3Description : Serialise Idris to its IBC format.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/IRTS/Exports.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : IRTS.Exports
2Module : IRTS.Exports
3Description : Deal with external things.
3Description : Deal with external things.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/IRTS/Inliner.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : IRTS.Inliner
2Module : IRTS.Inliner
3Description : Inline expressions.
3Description : Inline expressions.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/IRTS/JavaScript/AST.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : IRTS.JavaScript.AST
2Module : IRTS.JavaScript.AST
3Description : The JavaScript AST.
3Description : The JavaScript AST.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/IRTS/JavaScript/Codegen.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : IRTS.JavaScript.Codegen
2Module : IRTS.JavaScript.Codegen
3Description : The JavaScript common code generator.
3Description : The JavaScript common code generator.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/IRTS/JavaScript/LangTransforms.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : IRTS.JavaScript.LangTransforms
2Module : IRTS.JavaScript.LangTransforms
3Description : The JavaScript LDecl Transformations.
3Description : The JavaScript LDecl Transformations.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/IRTS/JavaScript/Name.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : IRTS.JavaScript.Name
2Module : IRTS.JavaScript.Name
3Description : The JavaScript name mangler.
3Description : The JavaScript name mangler.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/IRTS/JavaScript/PrimOp.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : IRTS.JavaScript.PrimOp
2Module : IRTS.JavaScript.PrimOp
3Description : The JavaScript primitive operations.
3Description : The JavaScript primitive operations.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/IRTS/JavaScript/Specialize.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : IRTS.JavaScript.Specialize
2Module : IRTS.JavaScript.Specialize
3Description : The JavaScript specializer.
3Description : The JavaScript specializer.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/IRTS/Lang.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : IRTS.Lang
2Module : IRTS.Lang
3Description : Internal representation of Idris' constructs.
3Description : Internal representation of Idris' constructs.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/IRTS/LangOpts.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : IRTS.LangOpts
2Module : IRTS.LangOpts
3Description : Transformations to apply to Idris' IR.
3Description : Transformations to apply to Idris' IR.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/IRTS/Portable.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : IRTS.Portable
2Module : IRTS.Portable
3Description : Serialise Idris' IR to JSON.
3Description : Serialise Idris' IR to JSON.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/IRTS/Simplified.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : IRTS.Simplified
2Module : IRTS.Simplified
3Description : Simplified expressions, where functions/constructors can only be applied to variables.
3Description : Simplified expressions, where functions/constructors can only be applied to variables.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/IRTS/System.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : IRTS.System
2Module : IRTS.System
3Description : Utilities for interacting with the System.
3Description : Utilities for interacting with the System.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/ASTUtils.hs+1−1
@@ -2,7 +2,7 @@
2{-|
2{-|
3Module : Idris.ASTUtils
3Module : Idris.ASTUtils
4Description : This implements just a few basic lens-like concepts to ease state updates. Similar to fclabels in approach, just without the extra dependency.
4Description : This implements just a few basic lens-like concepts to ease state updates. Similar to fclabels in approach, just without the extra dependency.
5−Copyright :
5+
6License : BSD3
6License : BSD3
7Maintainer : The Idris Community.
7Maintainer : The Idris Community.
8
8
src/Idris/AbsSyntax.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.AbsSyntax
2Module : Idris.AbsSyntax
3Description : Provides Idris' core data definitions and utility code.
3Description : Provides Idris' core data definitions and utility code.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/AbsSyntaxTree.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.AbsSyntaxTree
2Module : Idris.AbsSyntaxTree
3Description : Core data definitions used in Idris.
3Description : Core data definitions used in Idris.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Apropos.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Apropos
2Module : Idris.Apropos
3Description : Search loaded Idris code and named modules for things.
3Description : Search loaded Idris code and named modules for things.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/CaseSplit.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.CaseSplit
2Module : Idris.CaseSplit
3Description : Module to provide case split functionality.
3Description : Module to provide case split functionality.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7
7
src/Idris/Chaser.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Chaser
2Module : Idris.Chaser
3Description : Module chaser to determine cycles and import modules.
3Description : Module chaser to determine cycles and import modules.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Colours.hs+1−1
@@ -2,7 +2,7 @@
2{-|
2{-|
3Module : Idris.Colours
3Module : Idris.Colours
4Description : Support for colours within Idris.
4Description : Support for colours within Idris.
5−Copyright :
5+
6License : BSD3
6License : BSD3
7Maintainer : The Idris Community.
7Maintainer : The Idris Community.
8-}
8-}
src/Idris/Completion.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Completion
2Module : Idris.Completion
3Description : Support for command-line completion at the REPL and in the prover.
3Description : Support for command-line completion at the REPL and in the prover.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Core/Binary.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Core.Binary
2Module : Idris.Core.Binary
3Description : Binary instances for the core datatypes
3Description : Binary instances for the core datatypes
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Core/CaseTree.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Core.CaseTree
2Module : Idris.Core.CaseTree
3Description : Module to define and interact with case trees.
3Description : Module to define and interact with case trees.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7
7
src/Idris/Core/Constraints.hs+1−1
@@ -2,7 +2,7 @@
2{-|
2{-|
3Module : Idris.Core.Constraints
3Module : Idris.Core.Constraints
4Description : Check universe constraints.
4Description : Check universe constraints.
5−Copyright :
5+
6License : BSD3
6License : BSD3
7Maintainer : The Idris Community.
7Maintainer : The Idris Community.
8-}
8-}
src/Idris/Core/DeepSeq.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Core.DeepSeq
2Module : Idris.Core.DeepSeq
3Description : NFData instances for TT.
3Description : NFData instances for TT.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Core/Elaborate.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Core.Elaborate
2Module : Idris.Core.Elaborate
3Description : A high level language of tactic composition, for building elaborators from a high level language into the core theory.
3Description : A high level language of tactic composition, for building elaborators from a high level language into the core theory.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7
7
src/Idris/Core/Evaluate.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Core.Evaluate
2Module : Idris.Core.Evaluate
3Description : Evaluate Idris expressions.
3Description : Evaluate Idris expressions.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Core/Execute.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Core.Execute
2Module : Idris.Core.Execute
3Description : Execute Idris code and deal with FFI.
3Description : Execute Idris code and deal with FFI.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Core/ProofState.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Core.ProofState
2Module : Idris.Core.ProofState
3Description : Proof state implementation.
3Description : Proof state implementation.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7
7
src/Idris/Core/ProofTerm.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Core.ProofTerm
2Module : Idris.Core.ProofTerm
3Description : Proof term. implementation and utilities.
3Description : Proof term. implementation and utilities.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Core/TT.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Core.TT
2Module : Idris.Core.TT
3Description : The core language of Idris, TT.
3Description : The core language of Idris, TT.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7
7
src/Idris/Core/Typecheck.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Core.Typecheck
2Module : Idris.Core.Typecheck
3Description : Idris' type checker.
3Description : Idris' type checker.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Core/Unify.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Core.Unify
2Module : Idris.Core.Unify
3Description : Idris' unification code.
3Description : Idris' unification code.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7
7
src/Idris/Core/WHNF.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Core.WHNF
2Module : Idris.Core.WHNF
3Description : Reduction to Weak Head Normal Form
3Description : Reduction to Weak Head Normal Form
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Coverage.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Coverage
2Module : Idris.Coverage
3Description : Clause generation for coverage checking
3Description : Clause generation for coverage checking
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/DSL.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.DSL
2Module : Idris.DSL
3Description : Code to deal with DSL blocks.
3Description : Code to deal with DSL blocks.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/DataOpts.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.DataOpts
2Module : Idris.DataOpts
3Description : Optimisations for Idris code i.e. Forcing, detagging and collapsing.
3Description : Optimisations for Idris code i.e. Forcing, detagging and collapsing.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/DeepSeq.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.DeepSeq
2Module : Idris.DeepSeq
3Description : NFData instances for Idris' types
3Description : NFData instances for Idris' types
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Delaborate.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Delaborate
2Module : Idris.Delaborate
3Description : Convert core TT back into high level syntax, primarily for display purposes.
3Description : Convert core TT back into high level syntax, primarily for display purposes.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Directives.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Directives
2Module : Idris.Directives
3Description : Act upon Idris directives.
3Description : Act upon Idris directives.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Docs.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Docs
2Module : Idris.Docs
3Description : Data structures and utilities to work with Idris Documentation.
3Description : Data structures and utilities to work with Idris Documentation.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Docstrings.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Docstrings
2Module : Idris.Docstrings
3Description : Wrapper around Markdown library.
3Description : Wrapper around Markdown library.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Elab/AsPat.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Elab.AsPat
2Module : Idris.Elab.AsPat
3Description : Code to elaborate pattern variables.
3Description : Code to elaborate pattern variables.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Elab/Clause.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Elab.Clause
2Module : Idris.Elab.Clause
3Description : Code to elaborate clauses.
3Description : Code to elaborate clauses.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Elab/Data.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Elab.Data
2Module : Idris.Elab.Data
3Description : Code to elaborate data structures.
3Description : Code to elaborate data structures.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Elab/Implementation.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Elab.Implementation
2Module : Idris.Elab.Implementation
3Description : Code to elaborate instances.
3Description : Code to elaborate instances.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Elab/Interface.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Elab.Interface
2Module : Idris.Elab.Interface
3Description : Code to elaborate interfaces.
3Description : Code to elaborate interfaces.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Elab/Provider.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Elab.Provider
2Module : Idris.Elab.Provider
3Description : Code to elaborate type providers.
3Description : Code to elaborate type providers.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Elab/Quasiquote.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Elab.Quasiquote
2Module : Idris.Elab.Quasiquote
3Description : Code to elaborate quasiquotations.
3Description : Code to elaborate quasiquotations.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Elab/Record.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Elab.Record
2Module : Idris.Elab.Record
3Description : Code to elaborate records.
3Description : Code to elaborate records.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Elab/Rewrite.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Elab.Rewrite
2Module : Idris.Elab.Rewrite
3Description : Code to elaborate rewrite rules.
3Description : Code to elaborate rewrite rules.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Elab/RunElab.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Elab.RunElab
2Module : Idris.Elab.RunElab
3Description : Code to run the elaborator process.
3Description : Code to run the elaborator process.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Elab/Term.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Elab.Term
2Module : Idris.Elab.Term
3Description : Code to elaborate terms.
3Description : Code to elaborate terms.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Elab/Transform.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Elab.Transform
2Module : Idris.Elab.Transform
3Description : Transformations for elaborate terms.
3Description : Transformations for elaborate terms.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Elab/Type.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Elab.Type
2Module : Idris.Elab.Type
3Description : Code to elaborate types.
3Description : Code to elaborate types.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Elab/Utils.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Elab.Utils
2Module : Idris.Elab.Utils
3Description : Elaborator utilities.
3Description : Elaborator utilities.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Elab/Value.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Elab.Value
2Module : Idris.Elab.Value
3Description : Code to elaborate values.
3Description : Code to elaborate values.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/ElabDecls.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.ElabDecls
2Module : Idris.ElabDecls
3Description : Code to elaborate declarations.
3Description : Code to elaborate declarations.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Erasure.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Erasure
2Module : Idris.Erasure
3Description : Utilities to erase stuff not necessary for runtime.
3Description : Utilities to erase stuff not necessary for runtime.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/ErrReverse.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.ErrReverse
2Module : Idris.ErrReverse
3Description : Utility to make errors readable using transformations.
3Description : Utility to make errors readable using transformations.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Error.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Error
2Module : Idris.Error
3Description : Utilities to deal with error reporting.
3Description : Utilities to deal with error reporting.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Help.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Help
2Module : Idris.Help
3Description : Utilities to aid with the REPL's HELP system.
3Description : Utilities to aid with the REPL's HELP system.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/IBC.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.IBC
2Module : Idris.IBC
3Description : Core representations and code to generate IBC files.
3Description : Core representations and code to generate IBC files.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/IdeMode.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.IdeMode
2Module : Idris.IdeMode
3Description : Idris' IDE Mode
3Description : Idris' IDE Mode
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/IdrisDoc.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.IdrisDoc
2Module : Idris.IdrisDoc
3Description : Generation of HTML documentation for Idris code
3Description : Generation of HTML documentation for Idris code
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Imports.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Imports
2Module : Idris.Imports
3Description : Code to handle import declarations.
3Description : Code to handle import declarations.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Info.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Info
2Module : Idris.Info
3Description : Get information about Idris.
3Description : Get information about Idris.
4−Copyright : 2016 The Idris Community
4+ 2016 The Idris Community
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Inliner.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Inliner
2Module : Idris.Inliner
3Description : Idris' Inliner.
3Description : Idris' Inliner.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Interactive.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Interactive
2Module : Idris.Interactive
3Description : Bits and pieces for editing source files interactively, called from the REPL
3Description : Bits and pieces for editing source files interactively, called from the REPL
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Options.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Options
2Module : Idris.Options
3Description : Compiler options for Idris.
3Description : Compiler options for Idris.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Output.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Output
2Module : Idris.Output
3Description : Utilities to display Idris' internals and other informtation to the user.
3Description : Utilities to display Idris' internals and other informtation to the user.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Package.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Package
2Module : Idris.Package
3Description : Functionality for working with Idris packages.
3Description : Functionality for working with Idris packages.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Package/Parser.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Package.Parser
2Module : Idris.Package.Parser
3Description : `iPKG` file parser and package description information.
3Description : `iPKG` file parser and package description information.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Parser.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Parser
2Module : Idris.Parser
3Description : Idris' parser.
3Description : Idris' parser.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Parser/Data.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Parser.Data
2Module : Idris.Parser.Data
3Description : Parse Data declarations.
3Description : Parse Data declarations.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Parser/Expr.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Parser.Expr
2Module : Idris.Parser.Expr
3Description : Parse Expressions.
3Description : Parse Expressions.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Parser/Helpers.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Parser.Helpers
2Module : Idris.Parser.Helpers
3Description : Utilities for Idris' parser.
3Description : Utilities for Idris' parser.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Parser/Ops.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Parser.Ops
2Module : Idris.Parser.Ops
3Description : Parser for operators and fixity declarations.
3Description : Parser for operators and fixity declarations.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/PartialEval.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.PartialEval
2Module : Idris.PartialEval
3Description : Implementation of a partial evaluator.
3Description : Implementation of a partial evaluator.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Primitives.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Primitives
2Module : Idris.Primitives
3Description : Provision of primitive data types.
3Description : Provision of primitive data types.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/ProofSearch.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.ProofSearch
2Module : Idris.ProofSearch
3Description : Searches current context for proofs'
3Description : Searches current context for proofs'
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Prover.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Prover
2Module : Idris.Prover
3Description : Idris' theorem prover.
3Description : Idris' theorem prover.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Providers.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Providers
2Module : Idris.Providers
3Description : Idris' 'Type Provider' implementation.
3Description : Idris' 'Type Provider' implementation.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/REPL/Browse.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.REPL.Browse
2Module : Idris.REPL.Browse
3Description : Browse the current namespace.
3Description : Browse the current namespace.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Reflection.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Reflection
2Module : Idris.Reflection
3Description : Code related to Idris's reflection system. This module contains quoters and unquoters along with some supporting datatypes.
3Description : Code related to Idris's reflection system. This module contains quoters and unquoters along with some supporting datatypes.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Termination.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Termination
2Module : Idris.Termination
3Description : The termination checker for Idris
3Description : The termination checker for Idris
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Transforms.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Transforms
2Module : Idris.Transforms
3Description : A collection of transformations.
3Description : A collection of transformations.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/TypeSearch.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.TypeSearch
2Module : Idris.TypeSearch
3Description : A Hoogle for Idris.
3Description : A Hoogle for Idris.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/Unlit.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.Unlit
2Module : Idris.Unlit
3Description : Turn literate programs into normal programs.
3Description : Turn literate programs into normal programs.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Idris/WhoCalls.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Idris.WhoCalls
2Module : Idris.WhoCalls
3Description : Find function callers and callees.
3Description : Find function callers and callees.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Util/DynamicLinker.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Util.DynamicLinker
2Module : Util.DynamicLinker
3Description : Platform-specific dynamic linking support. Add new platforms to this file through conditional compilation.
3Description : Platform-specific dynamic linking support. Add new platforms to this file through conditional compilation.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Util/Net.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Util.Net
2Module : Util.Net
3Description : Utilities for Network IO.
3Description : Utilities for Network IO.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Util/Pretty.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Util.Pretty
2Module : Util.Pretty
3Description : Utilities for Pretty Printing.
3Description : Utilities for Pretty Printing.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Util/ScreenSize.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Util.ScreenSize
2Module : Util.ScreenSize
3Description : Utilities for getting screen width.
3Description : Utilities for getting screen width.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
src/Util/System.hs+1−1
@@ -1,7 +1,7 @@
1{-|
1{-|
2Module : Util.System
2Module : Util.System
3Description : Utilities for interacting with the system.
3Description : Utilities for interacting with the system.
4−Copyright :
4+
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}