Repository files navigation

We are learning TAPL and developing some interesting projects as follow:

• untyped-lambda-calculus based on javascript
• Dart-Lambda-Calculus based on Dart

Todo list:

• Deeplang parser/lexer
• Deeeplang typing rules
• Deeplang symbol table
• Deeplang type checker and then type infer
• Deeplang wasm codegen

• ocaml >= 4.12.0
• dune >= 2.8

Currently, only the AST definition is completed.Its source file is atparser/ParseTree.ml.To build the AST definition,you need an OCaml compiler and thedune build system.To build directly with dune, do:

dune build

You can also build with Makefile, via:

make build

To build the module document of source files as well,you need to install theodoc document generator as well.Onceodoc is installed, you can build module documents through:

make doc

The generated documents of internal modulesare located indoc/internal/module_name-xxxxxxxxxx,in HTML format.You can preview the HTML online by opening the link of the HTML filein

To build source files and document together, do:

make all # or simply `make`

To add new OCaml modules,you just need to modify thedune build file,and add your modules/libraries/executables into it.You can find the document of dunehere.