search

deeplang-org / deeplang-type-system

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

meeting record 0821 #24

Closed RightBreeze closed 2 years ago