3 ms·
There's a new blog post up where GADTs have been used in one of the OCaml-TLS libraries (i.e ASN1) https://news.ycombinator.com/item?id=8020125 https://news.yc
by amirmc 12y ago
There's a new blog post up where GADTs have been used in one of the OCaml-TLS libraries (i.e ASN1)
https://news.ycombinator.com/item?id=8020125 https://news.ycombinator.com/item?id=8020125