GitHub repository: marklemay/dDynamic
Primary language: Haskell
Description: a minimal dependently typed language with equality resolving at runtime