GitHub repository: lsap/refinedt
Primary language: Agda
Description: Refinement types + dependent types = ❤️