GitHub repository: p9romain/stt
Primary language: OCaml
Description: Set Theoretic Types