文件列表:

Help.md (138, 2023-09-24)
InterpretAll.sh (1009, 2023-09-24)
LICENCE (35149, 2023-09-24)
Lab/ (0, 2023-09-24)
Lab/Main.acl (15086, 2023-09-24)
Makefile (674, 2023-09-24)
RemoveColors.sh (128, 2023-09-24)
Sources/ (0, 2023-09-24)
Sources/Aclove.ml (7358, 2023-09-24)
Sources/Arguments.ml (3041, 2023-09-24)
Sources/Constants.ml (945, 2023-09-24)
Sources/Errors.ml (17856, 2023-09-24)
Sources/Evaluations.ml (4142, 2023-09-24)
Sources/Expressions.ml (3296, 2023-09-24)
Sources/FilePositions.ml (841, 2023-09-24)
Sources/Files.ml (6850, 2023-09-24)
Sources/Information.ml (1335, 2023-09-24)
Sources/Levels.ml (787, 2023-09-24)
Sources/Lexer.mll (4286, 2023-09-24)
Sources/Lists.ml (1771, 2023-09-24)
Sources/Options.ml (1067, 2023-09-24)
Sources/Outputs.ml (15054, 2023-09-24)
Sources/Parser.mly (3933, 2023-09-24)
Sources/Paths.ml (1550, 2023-09-24)
Sources/Processings.ml (8993, 2023-09-24)
Sources/Properties.ml (8157, 2023-09-24)
Sources/Resolutions.ml (5095, 2023-09-24)
Sources/Selfs.ml (521, 2023-09-24)
Sources/Shadows.ml (12984, 2023-09-24)
Sources/Statistics.ml (6586, 2023-09-24)
Sources/Strings.ml (1135, 2023-09-24)
Sources/Substitutions.ml (6006, 2023-09-24)
Sources/Variables.ml (957, 2023-09-24)
Stdlib/ (0, 2023-09-24)
Stdlib/Booleans/ (0, 2023-09-24)
Stdlib/Booleans/And.acl (171, 2023-09-24)
Stdlib/Booleans/Booleans.acl (11, 2023-09-24)
Stdlib/Booleans/Eq.acl (192, 2023-09-24)
Stdlib/Booleans/False.acl (52, 2023-09-24)
... ...

# Aclove `/\<<|_` A programming language based on combinatory logic and term rewrite systems, with an advanced type system. Copyright (C) 2020--2023 [Samuele Giraudo](https://igm.univ-mlv.fr/~giraudo/) - `giraudo.samuele@uqam.ca` - ## Quick overview TODO ## First examples TODO ## Versions Here is the [changelog](Versions.md) of the different versions. ### Dependencies The following programs or libraries are needed: + `pkg-config` + `make` + `ocaml` (Version `>= 5.0.0`. An inferior but not too old version may be suitable.) + `opam` + `ocamlbuild` (Available by `opam install ocamlbuild`.) + `ocamlfind` (Available by `opam install ocamlfind`.) + `extlib` (Available by `opam install extlib`.) + `zarith` (Available by `opam install zarith`.) + `menhir` (Available by `opam install menhir`.) ### Building Here are the required steps to build the interpreter `aclove`: 1. Clone the repository somewhere by running `git clone https://github.com/SamueleGiraudo/Aclove.git`. 2. Install all dependencies (see the section above). 3. Build the project by running `make noassert`. This creates an executable `aclove`. The following sections explain how to use it. ## User guide This [page](Help.md) contains the description of the Aclove language. Aclove program files must have `.acl` as extension. The main command is ``` ./aclove [--help] [--version] --file PATH [--verbose] [--input OPT] [--output OPT] ``` where + `--help` prints the short help. + `--version` prints the version and other information. + `--file PATH` sets `PATH` as the path to the Aclove program to consider. + `--verbose` enables the verbose mode. + The options `OPT` control the display mode of the input and output expressions: + `no-rules` drops the rules of the expression. + `no-shadows` drops the shadows (or types) of the expression. + `short-names` keeps only the last part of the variable and constant names of the expression. ### Standard library The [standard library](Stdlib) contains some useful definitions. ### Documentation of the standard library TODO ## Miscellaneous To get the syntax highlighting in the text editor `vim` for the Aclove language, put the file [acl.vim](Vim/syntax/acl.vim) at `~/.vim/syntax/acl.vim` and the file [acl.vim](Vim/ftdetect/acl.vim) at `~/.vim/fdetect/acl.vim`. ## Theoretical aspects TODO ### Bibliography TODO

近期下载者：

相关文件：

评论：[我要评论] [举报此文件]

收藏者：