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