git.iko.soy/Idris-dev

on master help sign in

src/IRTS/Bytecode.hs+1−1

@@ -2,7 +2,7 @@

22Module : IRTS.Bytecode

33Description : Bytecode for a stack based VM (e.g. for generating C code with an accurate hand written GC)

44

5−Copyright :

5+

66License : BSD3

77Maintainer : The Idris Community.

88

src/IRTS/CodegenC.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : IRTS.CodegenC

33Description : The default code generator for Idris, generating C code.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/IRTS/CodegenCommon.hs+1−1

@@ -2,7 +2,7 @@

22{-|

33Module : IRTS.CodegenCommon

44Description : Common data structures required for all code generators.

5−Copyright :

5+

66License : BSD3

77Maintainer : The Idris Community.

88-}

src/IRTS/CodegenJavaScript.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : IRTS.CodegenJavaScript

33Description : The JavaScript code generator.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/IRTS/Compiler.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : IRTS.Compiler

33Description : Coordinates the compilation process.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/IRTS/Defunctionalise.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : IRTS.Defunctionalise

33Description : Defunctionalise Idris' IR.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77

src/IRTS/DumpBC.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : IRTS.DumpBC

33Description : Serialise Idris to its IBC format.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/IRTS/Exports.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : IRTS.Exports

33Description : Deal with external things.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/IRTS/Inliner.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : IRTS.Inliner

33Description : Inline expressions.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/IRTS/JavaScript/AST.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : IRTS.JavaScript.AST

33Description : The JavaScript AST.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/IRTS/JavaScript/Codegen.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : IRTS.JavaScript.Codegen

33Description : The JavaScript common code generator.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/IRTS/JavaScript/LangTransforms.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : IRTS.JavaScript.LangTransforms

33Description : The JavaScript LDecl Transformations.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/IRTS/JavaScript/Name.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : IRTS.JavaScript.Name

33Description : The JavaScript name mangler.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/IRTS/JavaScript/PrimOp.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : IRTS.JavaScript.PrimOp

33Description : The JavaScript primitive operations.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/IRTS/JavaScript/Specialize.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : IRTS.JavaScript.Specialize

33Description : The JavaScript specializer.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/IRTS/Lang.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : IRTS.Lang

33Description : Internal representation of Idris' constructs.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/IRTS/LangOpts.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : IRTS.LangOpts

33Description : Transformations to apply to Idris' IR.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/IRTS/Portable.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : IRTS.Portable

33Description : Serialise Idris' IR to JSON.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/IRTS/Simplified.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : IRTS.Simplified

33Description : Simplified expressions, where functions/constructors can only be applied to variables.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/IRTS/System.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : IRTS.System

33Description : Utilities for interacting with the System.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/ASTUtils.hs+1−1

@@ -2,7 +2,7 @@

22{-|

33Module : Idris.ASTUtils

44Description : 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+

66License : BSD3

77Maintainer : The Idris Community.

88

src/Idris/AbsSyntax.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.AbsSyntax

33Description : Provides Idris' core data definitions and utility code.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/AbsSyntaxTree.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.AbsSyntaxTree

33Description : Core data definitions used in Idris.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Apropos.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Apropos

33Description : Search loaded Idris code and named modules for things.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/CaseSplit.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.CaseSplit

33Description : Module to provide case split functionality.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77

src/Idris/Chaser.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Chaser

33Description : Module chaser to determine cycles and import modules.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Colours.hs+1−1

@@ -2,7 +2,7 @@

22{-|

33Module : Idris.Colours

44Description : Support for colours within Idris.

5−Copyright :

5+

66License : BSD3

77Maintainer : The Idris Community.

88-}

src/Idris/Completion.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Completion

33Description : Support for command-line completion at the REPL and in the prover.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Core/Binary.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Core.Binary

33Description : Binary instances for the core datatypes

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Core/CaseTree.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Core.CaseTree

33Description : Module to define and interact with case trees.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77

src/Idris/Core/Constraints.hs+1−1

@@ -2,7 +2,7 @@

22{-|

33Module : Idris.Core.Constraints

44Description : Check universe constraints.

5−Copyright :

5+

66License : BSD3

77Maintainer : The Idris Community.

88-}

src/Idris/Core/DeepSeq.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Core.DeepSeq

33Description : NFData instances for TT.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Core/Elaborate.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Core.Elaborate

33Description : A high level language of tactic composition, for building elaborators from a high level language into the core theory.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77

src/Idris/Core/Evaluate.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Core.Evaluate

33Description : Evaluate Idris expressions.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Core/Execute.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Core.Execute

33Description : Execute Idris code and deal with FFI.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Core/ProofState.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Core.ProofState

33Description : Proof state implementation.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77

src/Idris/Core/ProofTerm.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Core.ProofTerm

33Description : Proof term. implementation and utilities.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Core/TT.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Core.TT

33Description : The core language of Idris, TT.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77

src/Idris/Core/Typecheck.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Core.Typecheck

33Description : Idris' type checker.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Core/Unify.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Core.Unify

33Description : Idris' unification code.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77

src/Idris/Core/WHNF.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Core.WHNF

33Description : Reduction to Weak Head Normal Form

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Coverage.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Coverage

33Description : Clause generation for coverage checking

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/DSL.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.DSL

33Description : Code to deal with DSL blocks.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/DataOpts.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.DataOpts

33Description : Optimisations for Idris code i.e. Forcing, detagging and collapsing.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/DeepSeq.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.DeepSeq

33Description : NFData instances for Idris' types

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Delaborate.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Delaborate

33Description : Convert core TT back into high level syntax, primarily for display purposes.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Directives.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Directives

33Description : Act upon Idris directives.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Docs.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Docs

33Description : Data structures and utilities to work with Idris Documentation.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Docstrings.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Docstrings

33Description : Wrapper around Markdown library.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Elab/AsPat.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Elab.AsPat

33Description : Code to elaborate pattern variables.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Elab/Clause.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Elab.Clause

33Description : Code to elaborate clauses.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Elab/Data.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Elab.Data

33Description : Code to elaborate data structures.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Elab/Implementation.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Elab.Implementation

33Description : Code to elaborate instances.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Elab/Interface.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Elab.Interface

33Description : Code to elaborate interfaces.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Elab/Provider.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Elab.Provider

33Description : Code to elaborate type providers.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Elab/Quasiquote.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Elab.Quasiquote

33Description : Code to elaborate quasiquotations.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Elab/Record.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Elab.Record

33Description : Code to elaborate records.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Elab/Rewrite.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Elab.Rewrite

33Description : Code to elaborate rewrite rules.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Elab/RunElab.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Elab.RunElab

33Description : Code to run the elaborator process.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Elab/Term.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Elab.Term

33Description : Code to elaborate terms.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Elab/Transform.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Elab.Transform

33Description : Transformations for elaborate terms.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Elab/Type.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Elab.Type

33Description : Code to elaborate types.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Elab/Utils.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Elab.Utils

33Description : Elaborator utilities.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Elab/Value.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Elab.Value

33Description : Code to elaborate values.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/ElabDecls.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.ElabDecls

33Description : Code to elaborate declarations.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Erasure.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Erasure

33Description : Utilities to erase stuff not necessary for runtime.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/ErrReverse.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.ErrReverse

33Description : Utility to make errors readable using transformations.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Error.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Error

33Description : Utilities to deal with error reporting.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Help.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Help

33Description : Utilities to aid with the REPL's HELP system.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/IBC.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.IBC

33Description : Core representations and code to generate IBC files.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/IdeMode.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.IdeMode

33Description : Idris' IDE Mode

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/IdrisDoc.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.IdrisDoc

33Description : Generation of HTML documentation for Idris code

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Imports.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Imports

33Description : Code to handle import declarations.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Info.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Info

33Description : Get information about Idris.

4−Copyright : 2016 The Idris Community

4+ 2016 The Idris Community

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Inliner.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Inliner

33Description : Idris' Inliner.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Interactive.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Interactive

33Description : Bits and pieces for editing source files interactively, called from the REPL

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Options.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Options

33Description : Compiler options for Idris.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Output.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Output

33Description : Utilities to display Idris' internals and other informtation to the user.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Package.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Package

33Description : Functionality for working with Idris packages.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Package/Parser.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Package.Parser

33Description : `iPKG` file parser and package description information.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Parser.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Parser

33Description : Idris' parser.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Parser/Data.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Parser.Data

33Description : Parse Data declarations.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Parser/Expr.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Parser.Expr

33Description : Parse Expressions.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Parser/Helpers.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Parser.Helpers

33Description : Utilities for Idris' parser.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Parser/Ops.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Parser.Ops

33Description : Parser for operators and fixity declarations.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/PartialEval.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.PartialEval

33Description : Implementation of a partial evaluator.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Primitives.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Primitives

33Description : Provision of primitive data types.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/ProofSearch.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.ProofSearch

33Description : Searches current context for proofs'

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Prover.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Prover

33Description : Idris' theorem prover.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Providers.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Providers

33Description : Idris' 'Type Provider' implementation.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/REPL/Browse.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.REPL.Browse

33Description : Browse the current namespace.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Reflection.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Reflection

33Description : Code related to Idris's reflection system. This module contains quoters and unquoters along with some supporting datatypes.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Termination.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Termination

33Description : The termination checker for Idris

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Transforms.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Transforms

33Description : A collection of transformations.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/TypeSearch.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.TypeSearch

33Description : A Hoogle for Idris.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/Unlit.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.Unlit

33Description : Turn literate programs into normal programs.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Idris/WhoCalls.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Idris.WhoCalls

33Description : Find function callers and callees.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Util/DynamicLinker.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Util.DynamicLinker

33Description : Platform-specific dynamic linking support. Add new platforms to this file through conditional compilation.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Util/Net.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Util.Net

33Description : Utilities for Network IO.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Util/Pretty.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Util.Pretty

33Description : Utilities for Pretty Printing.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Util/ScreenSize.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Util.ScreenSize

33Description : Utilities for getting screen width.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}

src/Util/System.hs+1−1

@@ -1,7 +1,7 @@

11{-|

22Module : Util.System

33Description : Utilities for interacting with the system.

4−Copyright :

4+

55License : BSD3

66Maintainer : The Idris Community.

77-}