├── .gitignore ├── .travis.yml ├── LICENSE ├── README.markdown ├── Setup.hs ├── deps.sh ├── forml.cabal ├── lib ├── css │ ├── coda.css │ ├── jasmine.css │ └── prettify.css └── js │ ├── jasmine-1.0.1 │ ├── jasmine-html.js │ └── jasmine.js │ ├── jquery.js │ ├── lang-hs.js │ └── prettify.js ├── prelude.obj └── src ├── css └── styles.css ├── forml ├── formalz.forml ├── parsec.forml ├── prelude.forml ├── readme.forml ├── server.forml ├── tests.forml └── tetris.forml ├── hs ├── lib │ └── Forml │ │ ├── CLI.hs │ │ ├── Closure.hs │ │ ├── Deps.hs │ │ ├── Doc.hs │ │ ├── Exec.hs │ │ ├── Javascript.hs │ │ ├── Javascript │ │ ├── Backend.hs │ │ ├── Test.hs │ │ └── Utils.hs │ │ ├── Optimize.hs │ │ ├── Optimize │ │ ├── Inline.hs │ │ ├── Optimizer.hs │ │ └── TailCall.hs │ │ ├── Parser.hs │ │ ├── Parser │ │ └── Utils.hs │ │ ├── Static.hs │ │ ├── TypeCheck.hs │ │ ├── TypeCheck │ │ └── Types.hs │ │ └── Types │ │ ├── Axiom.hs │ │ ├── Definition.hs │ │ ├── Expression.hs │ │ ├── Literal.hs │ │ ├── Namespace.hs │ │ ├── Pattern.hs │ │ ├── Statement.hs │ │ ├── Symbol.hs │ │ ├── Type.hs │ │ └── TypeDefinition.hs ├── main │ └── Main.hs └── test │ ├── MainSpec.hs │ └── Spec.hs ├── html └── template.html └── js └── FormlReporter.js /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/.travis.yml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/LICENSE -------------------------------------------------------------------------------- /README.markdown: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/README.markdown -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/Setup.hs -------------------------------------------------------------------------------- /deps.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/deps.sh -------------------------------------------------------------------------------- /forml.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/forml.cabal -------------------------------------------------------------------------------- /lib/css/coda.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/lib/css/coda.css -------------------------------------------------------------------------------- /lib/css/jasmine.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/lib/css/jasmine.css -------------------------------------------------------------------------------- /lib/css/prettify.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/lib/css/prettify.css -------------------------------------------------------------------------------- /lib/js/jasmine-1.0.1/jasmine-html.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/lib/js/jasmine-1.0.1/jasmine-html.js -------------------------------------------------------------------------------- /lib/js/jasmine-1.0.1/jasmine.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/lib/js/jasmine-1.0.1/jasmine.js -------------------------------------------------------------------------------- /lib/js/jquery.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/lib/js/jquery.js -------------------------------------------------------------------------------- /lib/js/lang-hs.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/lib/js/lang-hs.js -------------------------------------------------------------------------------- /lib/js/prettify.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/lib/js/prettify.js -------------------------------------------------------------------------------- /prelude.obj: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/css/styles.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/src/css/styles.css -------------------------------------------------------------------------------- /src/forml/formalz.forml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/src/forml/formalz.forml -------------------------------------------------------------------------------- /src/forml/parsec.forml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/src/forml/parsec.forml -------------------------------------------------------------------------------- /src/forml/prelude.forml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/src/forml/prelude.forml -------------------------------------------------------------------------------- /src/forml/readme.forml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/src/forml/readme.forml -------------------------------------------------------------------------------- /src/forml/server.forml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/src/forml/server.forml -------------------------------------------------------------------------------- /src/forml/tests.forml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/src/forml/tests.forml -------------------------------------------------------------------------------- /src/forml/tetris.forml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/src/forml/tetris.forml -------------------------------------------------------------------------------- /src/hs/lib/Forml/CLI.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/src/hs/lib/Forml/CLI.hs -------------------------------------------------------------------------------- /src/hs/lib/Forml/Closure.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/src/hs/lib/Forml/Closure.hs -------------------------------------------------------------------------------- /src/hs/lib/Forml/Deps.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/src/hs/lib/Forml/Deps.hs -------------------------------------------------------------------------------- /src/hs/lib/Forml/Doc.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/src/hs/lib/Forml/Doc.hs -------------------------------------------------------------------------------- /src/hs/lib/Forml/Exec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/src/hs/lib/Forml/Exec.hs -------------------------------------------------------------------------------- /src/hs/lib/Forml/Javascript.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/src/hs/lib/Forml/Javascript.hs -------------------------------------------------------------------------------- /src/hs/lib/Forml/Javascript/Backend.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/src/hs/lib/Forml/Javascript/Backend.hs -------------------------------------------------------------------------------- /src/hs/lib/Forml/Javascript/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/src/hs/lib/Forml/Javascript/Test.hs -------------------------------------------------------------------------------- /src/hs/lib/Forml/Javascript/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/src/hs/lib/Forml/Javascript/Utils.hs -------------------------------------------------------------------------------- /src/hs/lib/Forml/Optimize.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/src/hs/lib/Forml/Optimize.hs -------------------------------------------------------------------------------- /src/hs/lib/Forml/Optimize/Inline.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/src/hs/lib/Forml/Optimize/Inline.hs -------------------------------------------------------------------------------- /src/hs/lib/Forml/Optimize/Optimizer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/src/hs/lib/Forml/Optimize/Optimizer.hs -------------------------------------------------------------------------------- /src/hs/lib/Forml/Optimize/TailCall.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/src/hs/lib/Forml/Optimize/TailCall.hs -------------------------------------------------------------------------------- /src/hs/lib/Forml/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/src/hs/lib/Forml/Parser.hs -------------------------------------------------------------------------------- /src/hs/lib/Forml/Parser/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/src/hs/lib/Forml/Parser/Utils.hs -------------------------------------------------------------------------------- /src/hs/lib/Forml/Static.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/src/hs/lib/Forml/Static.hs -------------------------------------------------------------------------------- /src/hs/lib/Forml/TypeCheck.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/src/hs/lib/Forml/TypeCheck.hs -------------------------------------------------------------------------------- /src/hs/lib/Forml/TypeCheck/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/src/hs/lib/Forml/TypeCheck/Types.hs -------------------------------------------------------------------------------- /src/hs/lib/Forml/Types/Axiom.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/src/hs/lib/Forml/Types/Axiom.hs -------------------------------------------------------------------------------- /src/hs/lib/Forml/Types/Definition.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/src/hs/lib/Forml/Types/Definition.hs -------------------------------------------------------------------------------- /src/hs/lib/Forml/Types/Expression.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/src/hs/lib/Forml/Types/Expression.hs -------------------------------------------------------------------------------- /src/hs/lib/Forml/Types/Literal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/src/hs/lib/Forml/Types/Literal.hs -------------------------------------------------------------------------------- /src/hs/lib/Forml/Types/Namespace.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/src/hs/lib/Forml/Types/Namespace.hs -------------------------------------------------------------------------------- /src/hs/lib/Forml/Types/Pattern.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/src/hs/lib/Forml/Types/Pattern.hs -------------------------------------------------------------------------------- /src/hs/lib/Forml/Types/Statement.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/src/hs/lib/Forml/Types/Statement.hs -------------------------------------------------------------------------------- /src/hs/lib/Forml/Types/Symbol.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/src/hs/lib/Forml/Types/Symbol.hs -------------------------------------------------------------------------------- /src/hs/lib/Forml/Types/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/src/hs/lib/Forml/Types/Type.hs -------------------------------------------------------------------------------- /src/hs/lib/Forml/Types/TypeDefinition.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/src/hs/lib/Forml/Types/TypeDefinition.hs -------------------------------------------------------------------------------- /src/hs/main/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/src/hs/main/Main.hs -------------------------------------------------------------------------------- /src/hs/test/MainSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/src/hs/test/MainSpec.hs -------------------------------------------------------------------------------- /src/hs/test/Spec.hs: -------------------------------------------------------------------------------- 1 | {-# OPTIONS_GHC -F -pgmF hspec-discover #-} 2 | -------------------------------------------------------------------------------- /src/html/template.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/src/html/template.html -------------------------------------------------------------------------------- /src/js/FormlReporter.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/texodus/forml/HEAD/src/js/FormlReporter.js --------------------------------------------------------------------------------