GitHub repository: zhezhouzz/ADT-Spec-Inference
Primary language: OCaml
Created: 2020-09-03T16:39:56Z
Description: Algebraic data type specification inference