GitHub repository: DSINTY/simple-sub
Primary language: Scala
Description: Alternative algorithm for algebraic subtyping.