GitHub repository: stefan-hoeck/idris2-refined
Primary language: Idris
Created: 2023-02-02T16:27:30Z
Description: Refinement types for Idris2