velo.ipkg

package velo

depends = contrib

main = Main

sourcedir = "src"
executable = velo

modules = Velo.Types

        , Velo.Values

        , Velo.Semantics.Reductions
        , Velo.Semantics.Progress

        , Velo.Error
        , Velo.Error.Pretty
        , Velo.Core

        , Velo.IR.Common
        , Velo.IR.AST
        , Velo.IR.Holey
        , Velo.IR.Term
        , Velo.IR.CoTerm

        , Velo.Elaborator.Common
        , Velo.Elaborator.Holey
        , Velo.Elaborator.Term
        , Velo.Elaborator.CoDeBruijn
        , Velo.Elaborator.Instantiate

        , Velo.Lexer.Token
        , Velo.Lexer
        , Velo.Parser

        , Velo.Pass.Folding
        , Velo.Pass.CSE

        , Velo.Unelaboration

        , Velo.Trace

        , Velo.Options
        , Velo.Commands
        , Velo.REPL

        , Main