GitHub repository: AndrasKovacs/elaboration-zoo
Primary language: Haskell
Description: Minimal implementations for dependent type checking and elaboration