|
Ppxlib: Getting the original definition of `typ_constr` like `type_declaration` from `core_type` of `ptyp_constr`
|
|
9
|
257
|
August 16, 2024
|
|
How to represent tuples in AST?
|
|
11
|
658
|
February 18, 2024
|
|
Automatically generating Coq/Gallina code
|
|
3
|
488
|
December 27, 2023
|
|
Why Do Simple Let Bindings Introduce Extra Type Assertions?
|
|
4
|
501
|
December 1, 2023
|
|
Mapping GADT with Polymorphic Variant into a more restrictive form
|
|
5
|
847
|
May 24, 2023
|
|
What's the best way to represent type variables inside an AST?
|
|
0
|
579
|
January 13, 2023
|
|
Mapping GADT AST node to list of it's children not allowed by compiler?
|
|
3
|
872
|
August 26, 2022
|
|
[ANN] FrontC 4.1.0 (Vingt ans après)
|
|
2
|
1000
|
May 26, 2021
|
|
Convert from one complicated type(like AST) to another
|
|
10
|
1971
|
February 10, 2021
|
|
Producing and using typed ASTs for all source files in a project
|
|
5
|
2249
|
May 17, 2019
|