├── .envrc ├── .gitattributes ├── .github └── workflows │ └── web.yaml ├── .gitignore ├── README.md ├── cabal.project ├── examples ├── fibonacci.glam ├── primes.glam └── y.glam ├── flake.lock ├── flake.nix ├── glam ├── Glam │ ├── Rules │ │ ├── Term.hs │ │ └── Type.hs │ ├── Run.hs │ ├── Term.hs │ ├── Type.hs │ └── Utils.hs ├── LICENSE ├── Main.hs ├── MainJS.hs └── glam.cabal └── web ├── favicon.ico ├── glam_syntax.js └── index.html /.envrc: -------------------------------------------------------------------------------- 1 | use flake 2 | -------------------------------------------------------------------------------- /.gitattributes: -------------------------------------------------------------------------------- 1 | *.glam linguist-language=Idris 2 | -------------------------------------------------------------------------------- /.github/workflows/web.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ncfavier/glam/HEAD/.github/workflows/web.yaml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ncfavier/glam/HEAD/.gitignore -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ncfavier/glam/HEAD/README.md -------------------------------------------------------------------------------- /cabal.project: -------------------------------------------------------------------------------- 1 | packages: glam 2 | -------------------------------------------------------------------------------- /examples/fibonacci.glam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ncfavier/glam/HEAD/examples/fibonacci.glam -------------------------------------------------------------------------------- /examples/primes.glam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ncfavier/glam/HEAD/examples/primes.glam -------------------------------------------------------------------------------- /examples/y.glam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ncfavier/glam/HEAD/examples/y.glam -------------------------------------------------------------------------------- /flake.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ncfavier/glam/HEAD/flake.lock -------------------------------------------------------------------------------- /flake.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ncfavier/glam/HEAD/flake.nix -------------------------------------------------------------------------------- /glam/Glam/Rules/Term.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ncfavier/glam/HEAD/glam/Glam/Rules/Term.hs -------------------------------------------------------------------------------- /glam/Glam/Rules/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ncfavier/glam/HEAD/glam/Glam/Rules/Type.hs -------------------------------------------------------------------------------- /glam/Glam/Run.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ncfavier/glam/HEAD/glam/Glam/Run.hs -------------------------------------------------------------------------------- /glam/Glam/Term.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ncfavier/glam/HEAD/glam/Glam/Term.hs -------------------------------------------------------------------------------- /glam/Glam/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ncfavier/glam/HEAD/glam/Glam/Type.hs -------------------------------------------------------------------------------- /glam/Glam/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ncfavier/glam/HEAD/glam/Glam/Utils.hs -------------------------------------------------------------------------------- /glam/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ncfavier/glam/HEAD/glam/LICENSE -------------------------------------------------------------------------------- /glam/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ncfavier/glam/HEAD/glam/Main.hs -------------------------------------------------------------------------------- /glam/MainJS.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ncfavier/glam/HEAD/glam/MainJS.hs -------------------------------------------------------------------------------- /glam/glam.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ncfavier/glam/HEAD/glam/glam.cabal -------------------------------------------------------------------------------- /web/favicon.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ncfavier/glam/HEAD/web/favicon.ico -------------------------------------------------------------------------------- /web/glam_syntax.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ncfavier/glam/HEAD/web/glam_syntax.js -------------------------------------------------------------------------------- /web/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ncfavier/glam/HEAD/web/index.html --------------------------------------------------------------------------------