Emin Arslan 11625c88c6 core_ast: add of_sexpr

2026-01-14 12:28:22 +03:00

..

compilation.ml

Started work on the compiler, with a desugar phase

2025-12-28 21:04:45 +03:00

core_ast.ml

core_ast: add of_sexpr

2026-01-14 12:28:22 +03:00

dune

new library: added containers as a dependency.

2026-01-01 13:36:09 +03:00

gensym.ml

Added gensym, and phases in the desugar module for logical and & or

2025-12-28 21:04:45 +03:00

sugar.ml

Added desugar phase for converting cond into a chain of if's

2025-12-28 21:04:45 +03:00

syntactic_ast.ml

syntactic_ast: modify the phantom types to have concrete constructors, as the ocaml compiler cannot prove them distinct otherwise

2026-01-07 20:00:11 +03:00

syntactic_ast.mli

syntactic_ast: modify the phantom types to have concrete constructors, as the ocaml compiler cannot prove them distinct otherwise

2026-01-07 20:00:11 +03:00