GitHub repository: typecaseunion/typecaseunion.github.io
Primary language: OCaml
Created: 2021-07-09T08:09:26Z
Description: Online prototype for Typecase + Union = Occurrence Typing