• 如何用手套把 par子打入GADT的表达方式?
原文：How to use menhir to parse into a GADT expression?

我刚刚通过“现实世界”会议在OCaml学习过一些有关GADT的内容,并想试图将其中第一点语言翻译成口译员,从而使用男性。