Topic	Replies	Views	Activity
Implementing map for a size-indexed vector using GADTs Learning gadt	3	1101	April 1, 2019
Two questions about GADTs Learning gadt	4	1098	February 13, 2019
Simplest way to recognize a primitive type? Learning gadt , adt	6	1917	December 1, 2018
What is the "right" way to add constraints on a type, to handle recursive structures with variants and to combine fragments of types? Learning real-world-ocaml , ocaml , gadt	38	11688	November 14, 2018
Troubles using GADTs (Type constructor tries to escape its scope!) Learning gadt	2	1199	November 10, 2018
How to read/understand function signature with GADT? Learning gadt	5	4296	July 11, 2018
A single GADT constructor accepting some specific type parameters? Learning gadt	6	1334	April 6, 2018
List with internal type processing Learning gadt	4	1233	January 29, 2018
Function over GADT not "polymorphic enough" Learning type-system , gadt	2	1413	January 12, 2018
[ANN] Farfadet 0.2 Community announce , gadt , serialization	0	1411	November 30, 2017
Map GADT type specification to function arguments Learning gadt	3	1353	October 11, 2017

gadt