search

deeplang-org / deeplang-type-system

DeepLang type system based on Ocaml
7 stars 1 forks source link

翻译ADT和Struct #69

Closed MMZK1526 closed 2 months ago

MMZK1526 commented 2 months ago

这个分支合入之后再开一个新分支吧，这里历史太长了