search

ianthehenry / ocamlsyntax.com

How do you do that recursive GADT thing again?
https://ocamlsyntax.com
27 stars 5 forks source link

Add short examples for locally abstract types? #4

Open nilsbecker opened 2 years ago

nilsbecker commented 2 years ago

Maybe that could help clarify the last two items a bit more?

ianthehenry commented 2 years ago

This is a good idea. Once upon a time I linked to some real examples in the OCaml manual, but then the manual changed and now the links for more info aren't very useful.

I should replace these with actual examples of matching on a recursive GADT.