├── .#default.nix ├── .gitignore ├── ChangeLog.md ├── LICENSE ├── README.md ├── Setup.hs ├── app └── Main.hs ├── default.nix ├── examples ├── function.iris ├── io.iris ├── literal.iris ├── tc.iris └── test.iris ├── lib └── prelude.iris ├── package.yaml ├── src └── Language │ ├── Cli.hs │ ├── Cli │ └── Opt.hs │ ├── Interpreter.hs │ ├── Interpreter │ ├── DefaultEnv.hs │ ├── ExprEval.hs │ ├── ProgramEval.hs │ └── Types.hs │ ├── Parser.hs │ ├── Parser │ ├── AST.hs │ ├── ExprParser.hs │ ├── Lexer.hs │ ├── ProgramParser.hs │ └── Types.hs │ ├── PrettyPrinter.hs │ └── Typing │ ├── TypeChecker.hs │ └── Types.hs ├── stack.yaml └── stack.yaml.lock /.#default.nix: -------------------------------------------------------------------------------- 1 | aiden@aiden.21261:1561941020 -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | .stack-work/ 2 | iris.cabal 3 | *~ 4 | .vscode 5 | -------------------------------------------------------------------------------- /ChangeLog.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Aiden01/iris-lang/HEAD/ChangeLog.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Aiden01/iris-lang/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Aiden01/iris-lang/HEAD/README.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /app/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Aiden01/iris-lang/HEAD/app/Main.hs -------------------------------------------------------------------------------- /default.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Aiden01/iris-lang/HEAD/default.nix -------------------------------------------------------------------------------- /examples/function.iris: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Aiden01/iris-lang/HEAD/examples/function.iris -------------------------------------------------------------------------------- /examples/io.iris: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Aiden01/iris-lang/HEAD/examples/io.iris -------------------------------------------------------------------------------- /examples/literal.iris: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Aiden01/iris-lang/HEAD/examples/literal.iris -------------------------------------------------------------------------------- /examples/tc.iris: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Aiden01/iris-lang/HEAD/examples/tc.iris -------------------------------------------------------------------------------- /examples/test.iris: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Aiden01/iris-lang/HEAD/examples/test.iris -------------------------------------------------------------------------------- /lib/prelude.iris: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Aiden01/iris-lang/HEAD/lib/prelude.iris -------------------------------------------------------------------------------- /package.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Aiden01/iris-lang/HEAD/package.yaml -------------------------------------------------------------------------------- /src/Language/Cli.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Aiden01/iris-lang/HEAD/src/Language/Cli.hs -------------------------------------------------------------------------------- /src/Language/Cli/Opt.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Aiden01/iris-lang/HEAD/src/Language/Cli/Opt.hs -------------------------------------------------------------------------------- /src/Language/Interpreter.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Aiden01/iris-lang/HEAD/src/Language/Interpreter.hs -------------------------------------------------------------------------------- /src/Language/Interpreter/DefaultEnv.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Aiden01/iris-lang/HEAD/src/Language/Interpreter/DefaultEnv.hs -------------------------------------------------------------------------------- /src/Language/Interpreter/ExprEval.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Aiden01/iris-lang/HEAD/src/Language/Interpreter/ExprEval.hs -------------------------------------------------------------------------------- /src/Language/Interpreter/ProgramEval.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Aiden01/iris-lang/HEAD/src/Language/Interpreter/ProgramEval.hs -------------------------------------------------------------------------------- /src/Language/Interpreter/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Aiden01/iris-lang/HEAD/src/Language/Interpreter/Types.hs -------------------------------------------------------------------------------- /src/Language/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Aiden01/iris-lang/HEAD/src/Language/Parser.hs -------------------------------------------------------------------------------- /src/Language/Parser/AST.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Aiden01/iris-lang/HEAD/src/Language/Parser/AST.hs -------------------------------------------------------------------------------- /src/Language/Parser/ExprParser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Aiden01/iris-lang/HEAD/src/Language/Parser/ExprParser.hs -------------------------------------------------------------------------------- /src/Language/Parser/Lexer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Aiden01/iris-lang/HEAD/src/Language/Parser/Lexer.hs -------------------------------------------------------------------------------- /src/Language/Parser/ProgramParser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Aiden01/iris-lang/HEAD/src/Language/Parser/ProgramParser.hs -------------------------------------------------------------------------------- /src/Language/Parser/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Aiden01/iris-lang/HEAD/src/Language/Parser/Types.hs -------------------------------------------------------------------------------- /src/Language/PrettyPrinter.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Aiden01/iris-lang/HEAD/src/Language/PrettyPrinter.hs -------------------------------------------------------------------------------- /src/Language/Typing/TypeChecker.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Aiden01/iris-lang/HEAD/src/Language/Typing/TypeChecker.hs -------------------------------------------------------------------------------- /src/Language/Typing/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Aiden01/iris-lang/HEAD/src/Language/Typing/Types.hs -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Aiden01/iris-lang/HEAD/stack.yaml -------------------------------------------------------------------------------- /stack.yaml.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Aiden01/iris-lang/HEAD/stack.yaml.lock --------------------------------------------------------------------------------