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