haxala1r a250d96c63 core_ast: remove letrec comment

2026-02-04 21:52:16 +03:00

..

core_ast.ml

core_ast: remove letrec comment

2026-02-04 21:52:16 +03:00

dune

general: removed containers dependency

2026-01-14 21:40:21 +03:00

gensym.ml

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

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

syntactic_ast.ml

syntactic_ast: unwrapped the central GADT into several related types.

2026-02-02 20:32:15 +03:00