GitHub repository: juniorxxue/contextual-typing
Primary language: Agda
Description: Contextual Typing for STLC and Intersection Types