GitHub repository: valmirjunior0088/curios
Primary language: Haskell
Description: Work-in-progress functional dependently typed programming language