GitHub repository: n-lang/agda
Primary language: Haskell
Description: 〔ף〕► The N Language — Interactive Theorem Prover