├── .gitignore ├── CHANGELOG.org ├── README.org ├── app └── Main.hs ├── cabal.project ├── emacs └── teenytt.el ├── examples └── demo.tt ├── hie.yaml ├── src └── TeenyTT │ ├── Base │ ├── ByteString.hs │ ├── Diagnostic.hs │ ├── Env.hs │ ├── Ident.hs │ ├── Location.hs │ ├── Prec.hs │ ├── Pretty.hs │ └── SymbolTable.hs │ ├── Core │ ├── Conversion.hs │ ├── Domain.hs │ ├── Eval.hs │ ├── NbE.hs │ ├── Quote.hs │ ├── Splice.hs │ ├── Syntax.hs │ ├── TermBuilder.hs │ └── Types.hs │ ├── Elaborator │ ├── ConcreteSyntax.hs │ ├── Macros.hs │ ├── Monad.hs │ ├── Refiner.hs │ ├── Refiner │ │ ├── Nat.hs │ │ ├── Pi.hs │ │ ├── Sigma.hs │ │ ├── Structural.hs │ │ └── Univ.hs │ └── Tactic.hs │ └── Frontend │ ├── Command.hs │ ├── Driver.hs │ ├── Driver │ └── Monad.hs │ ├── Parser.hs │ └── Parser │ ├── Grammar.y │ ├── Lexer.x │ ├── Monad.hs │ └── Token.hs ├── teenytt.cabal └── test ├── Spec.hs └── Spec └── TeenyTT └── Base └── SymbolTable.hs /.gitignore: -------------------------------------------------------------------------------- 1 | dist-newstyle/ -------------------------------------------------------------------------------- /CHANGELOG.org: -------------------------------------------------------------------------------- 1 | * 0.0.1 2 | ** Initial Release 3 | -------------------------------------------------------------------------------- /README.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TOTBWF/teenytt/HEAD/README.org -------------------------------------------------------------------------------- /app/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TOTBWF/teenytt/HEAD/app/Main.hs -------------------------------------------------------------------------------- /cabal.project: -------------------------------------------------------------------------------- 1 | packages: ./teenytt.cabal -------------------------------------------------------------------------------- /emacs/teenytt.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TOTBWF/teenytt/HEAD/emacs/teenytt.el -------------------------------------------------------------------------------- /examples/demo.tt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TOTBWF/teenytt/HEAD/examples/demo.tt -------------------------------------------------------------------------------- /hie.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TOTBWF/teenytt/HEAD/hie.yaml -------------------------------------------------------------------------------- /src/TeenyTT/Base/ByteString.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TOTBWF/teenytt/HEAD/src/TeenyTT/Base/ByteString.hs -------------------------------------------------------------------------------- /src/TeenyTT/Base/Diagnostic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TOTBWF/teenytt/HEAD/src/TeenyTT/Base/Diagnostic.hs -------------------------------------------------------------------------------- /src/TeenyTT/Base/Env.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TOTBWF/teenytt/HEAD/src/TeenyTT/Base/Env.hs -------------------------------------------------------------------------------- /src/TeenyTT/Base/Ident.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TOTBWF/teenytt/HEAD/src/TeenyTT/Base/Ident.hs -------------------------------------------------------------------------------- /src/TeenyTT/Base/Location.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TOTBWF/teenytt/HEAD/src/TeenyTT/Base/Location.hs -------------------------------------------------------------------------------- /src/TeenyTT/Base/Prec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TOTBWF/teenytt/HEAD/src/TeenyTT/Base/Prec.hs -------------------------------------------------------------------------------- /src/TeenyTT/Base/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TOTBWF/teenytt/HEAD/src/TeenyTT/Base/Pretty.hs -------------------------------------------------------------------------------- /src/TeenyTT/Base/SymbolTable.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TOTBWF/teenytt/HEAD/src/TeenyTT/Base/SymbolTable.hs -------------------------------------------------------------------------------- /src/TeenyTT/Core/Conversion.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TOTBWF/teenytt/HEAD/src/TeenyTT/Core/Conversion.hs -------------------------------------------------------------------------------- /src/TeenyTT/Core/Domain.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TOTBWF/teenytt/HEAD/src/TeenyTT/Core/Domain.hs -------------------------------------------------------------------------------- /src/TeenyTT/Core/Eval.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TOTBWF/teenytt/HEAD/src/TeenyTT/Core/Eval.hs -------------------------------------------------------------------------------- /src/TeenyTT/Core/NbE.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TOTBWF/teenytt/HEAD/src/TeenyTT/Core/NbE.hs -------------------------------------------------------------------------------- /src/TeenyTT/Core/Quote.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TOTBWF/teenytt/HEAD/src/TeenyTT/Core/Quote.hs -------------------------------------------------------------------------------- /src/TeenyTT/Core/Splice.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TOTBWF/teenytt/HEAD/src/TeenyTT/Core/Splice.hs -------------------------------------------------------------------------------- /src/TeenyTT/Core/Syntax.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TOTBWF/teenytt/HEAD/src/TeenyTT/Core/Syntax.hs -------------------------------------------------------------------------------- /src/TeenyTT/Core/TermBuilder.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TOTBWF/teenytt/HEAD/src/TeenyTT/Core/TermBuilder.hs -------------------------------------------------------------------------------- /src/TeenyTT/Core/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TOTBWF/teenytt/HEAD/src/TeenyTT/Core/Types.hs -------------------------------------------------------------------------------- /src/TeenyTT/Elaborator/ConcreteSyntax.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TOTBWF/teenytt/HEAD/src/TeenyTT/Elaborator/ConcreteSyntax.hs -------------------------------------------------------------------------------- /src/TeenyTT/Elaborator/Macros.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TOTBWF/teenytt/HEAD/src/TeenyTT/Elaborator/Macros.hs -------------------------------------------------------------------------------- /src/TeenyTT/Elaborator/Monad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TOTBWF/teenytt/HEAD/src/TeenyTT/Elaborator/Monad.hs -------------------------------------------------------------------------------- /src/TeenyTT/Elaborator/Refiner.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TOTBWF/teenytt/HEAD/src/TeenyTT/Elaborator/Refiner.hs -------------------------------------------------------------------------------- /src/TeenyTT/Elaborator/Refiner/Nat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TOTBWF/teenytt/HEAD/src/TeenyTT/Elaborator/Refiner/Nat.hs -------------------------------------------------------------------------------- /src/TeenyTT/Elaborator/Refiner/Pi.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TOTBWF/teenytt/HEAD/src/TeenyTT/Elaborator/Refiner/Pi.hs -------------------------------------------------------------------------------- /src/TeenyTT/Elaborator/Refiner/Sigma.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TOTBWF/teenytt/HEAD/src/TeenyTT/Elaborator/Refiner/Sigma.hs -------------------------------------------------------------------------------- /src/TeenyTT/Elaborator/Refiner/Structural.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TOTBWF/teenytt/HEAD/src/TeenyTT/Elaborator/Refiner/Structural.hs -------------------------------------------------------------------------------- /src/TeenyTT/Elaborator/Refiner/Univ.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TOTBWF/teenytt/HEAD/src/TeenyTT/Elaborator/Refiner/Univ.hs -------------------------------------------------------------------------------- /src/TeenyTT/Elaborator/Tactic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TOTBWF/teenytt/HEAD/src/TeenyTT/Elaborator/Tactic.hs -------------------------------------------------------------------------------- /src/TeenyTT/Frontend/Command.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TOTBWF/teenytt/HEAD/src/TeenyTT/Frontend/Command.hs -------------------------------------------------------------------------------- /src/TeenyTT/Frontend/Driver.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TOTBWF/teenytt/HEAD/src/TeenyTT/Frontend/Driver.hs -------------------------------------------------------------------------------- /src/TeenyTT/Frontend/Driver/Monad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TOTBWF/teenytt/HEAD/src/TeenyTT/Frontend/Driver/Monad.hs -------------------------------------------------------------------------------- /src/TeenyTT/Frontend/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TOTBWF/teenytt/HEAD/src/TeenyTT/Frontend/Parser.hs -------------------------------------------------------------------------------- /src/TeenyTT/Frontend/Parser/Grammar.y: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TOTBWF/teenytt/HEAD/src/TeenyTT/Frontend/Parser/Grammar.y -------------------------------------------------------------------------------- /src/TeenyTT/Frontend/Parser/Lexer.x: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TOTBWF/teenytt/HEAD/src/TeenyTT/Frontend/Parser/Lexer.x -------------------------------------------------------------------------------- /src/TeenyTT/Frontend/Parser/Monad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TOTBWF/teenytt/HEAD/src/TeenyTT/Frontend/Parser/Monad.hs -------------------------------------------------------------------------------- /src/TeenyTT/Frontend/Parser/Token.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TOTBWF/teenytt/HEAD/src/TeenyTT/Frontend/Parser/Token.hs -------------------------------------------------------------------------------- /teenytt.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TOTBWF/teenytt/HEAD/teenytt.cabal -------------------------------------------------------------------------------- /test/Spec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TOTBWF/teenytt/HEAD/test/Spec.hs -------------------------------------------------------------------------------- /test/Spec/TeenyTT/Base/SymbolTable.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TOTBWF/teenytt/HEAD/test/Spec/TeenyTT/Base/SymbolTable.hs --------------------------------------------------------------------------------