Topic	Replies	Views	Activity
How to represent tuples in AST? Community ast , teaching	11	450	February 18, 2024
Automatically generating Coq/Gallina code Ecosystem code-generation , coq , ast	3	339	December 27, 2023
Why Do Simple Let Bindings Introduce Extra Type Assertions? Learning compiler , ppx , ast , parsing	4	386	December 1, 2023
Mapping GADT with Polymorphic Variant into a more restrictive form Learning type-system , gadt , ast , polymorphic-variants , gadts	5	659	May 24, 2023
What's the best way to represent type variables inside an AST? Community compiler , ast	0	486	January 13, 2023
Mapping GADT AST node to list of it's children not allowed by compiler? Learning compiler , gadt , polymorphism , ast	3	759	August 26, 2022
[ANN] FrontC 4.1.0 (Vingt ans après) Community c , ast , parser	2	921	May 26, 2021
Convert from one complicated type(like AST) to another Learning ast	10	1586	February 10, 2021
Producing and using typed ASTs for all source files in a project Learning compiler , merlin , dune , ast , parsing	5	2054	May 17, 2019

ast