Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on GADTs for Dummies. Parent comment
JSON GADT : https://github.com/OCamlPro/ocplib-json-typed/blob/0d9e9cde7...
Mirage/repr, uses GADT's for representing OCaml types as runtime values which are used for implementing dynamic polymorphism - https://github.com/mirage/repr/blob/main/src/repr/type.ml
JSON GADT : https://github.com/OCamlPro/ocplib-json-typed/blob/0d9e9cde7...
Mirage/repr, uses GADT's for representing OCaml types as runtime values which are used for implementing dynamic polymorphism - https://github.com/mirage/repr/blob/main/src/repr/type.ml