GitHub repository: E-Sh4rk/sstt
Primary language: OCaml
Description: Simple Set-Theoretic Types library