├── .gitignore ├── LICENSE ├── README.md ├── index.js ├── packages.dhall ├── spago.dhall ├── src ├── Check │ ├── Core.purs │ ├── Core │ │ └── Traversal.purs │ ├── Elaborate.purs │ ├── Environment.purs │ ├── Error.purs │ ├── Monad.purs │ ├── Solver.purs │ └── Unify.purs ├── Eval │ └── Normalize.purs ├── Main.purs ├── Print.purs ├── Print │ └── Precedence.purs └── Syntax │ ├── Lexer.purs │ ├── Parser.purs │ ├── Token.purs │ └── Tree.purs └── test └── test.flub /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/natefaubion/example-functional-compiler/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/natefaubion/example-functional-compiler/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/natefaubion/example-functional-compiler/HEAD/README.md -------------------------------------------------------------------------------- /index.js: -------------------------------------------------------------------------------- 1 | require("./output/Main").main(); 2 | -------------------------------------------------------------------------------- /packages.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/natefaubion/example-functional-compiler/HEAD/packages.dhall -------------------------------------------------------------------------------- /spago.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/natefaubion/example-functional-compiler/HEAD/spago.dhall -------------------------------------------------------------------------------- /src/Check/Core.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/natefaubion/example-functional-compiler/HEAD/src/Check/Core.purs -------------------------------------------------------------------------------- /src/Check/Core/Traversal.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/natefaubion/example-functional-compiler/HEAD/src/Check/Core/Traversal.purs -------------------------------------------------------------------------------- /src/Check/Elaborate.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/natefaubion/example-functional-compiler/HEAD/src/Check/Elaborate.purs -------------------------------------------------------------------------------- /src/Check/Environment.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/natefaubion/example-functional-compiler/HEAD/src/Check/Environment.purs -------------------------------------------------------------------------------- /src/Check/Error.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/natefaubion/example-functional-compiler/HEAD/src/Check/Error.purs -------------------------------------------------------------------------------- /src/Check/Monad.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/natefaubion/example-functional-compiler/HEAD/src/Check/Monad.purs -------------------------------------------------------------------------------- /src/Check/Solver.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/natefaubion/example-functional-compiler/HEAD/src/Check/Solver.purs -------------------------------------------------------------------------------- /src/Check/Unify.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/natefaubion/example-functional-compiler/HEAD/src/Check/Unify.purs -------------------------------------------------------------------------------- /src/Eval/Normalize.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/natefaubion/example-functional-compiler/HEAD/src/Eval/Normalize.purs -------------------------------------------------------------------------------- /src/Main.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/natefaubion/example-functional-compiler/HEAD/src/Main.purs -------------------------------------------------------------------------------- /src/Print.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/natefaubion/example-functional-compiler/HEAD/src/Print.purs -------------------------------------------------------------------------------- /src/Print/Precedence.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/natefaubion/example-functional-compiler/HEAD/src/Print/Precedence.purs -------------------------------------------------------------------------------- /src/Syntax/Lexer.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/natefaubion/example-functional-compiler/HEAD/src/Syntax/Lexer.purs -------------------------------------------------------------------------------- /src/Syntax/Parser.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/natefaubion/example-functional-compiler/HEAD/src/Syntax/Parser.purs -------------------------------------------------------------------------------- /src/Syntax/Token.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/natefaubion/example-functional-compiler/HEAD/src/Syntax/Token.purs -------------------------------------------------------------------------------- /src/Syntax/Tree.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/natefaubion/example-functional-compiler/HEAD/src/Syntax/Tree.purs -------------------------------------------------------------------------------- /test/test.flub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/natefaubion/example-functional-compiler/HEAD/test/test.flub --------------------------------------------------------------------------------