GitHub repository: zehaochen19/SystemF
Primary language: Haskell
Description: A simple implementation of predicative System F with bidirectional type inference