HigherOrderCO/Kind

A modern proof language

Stars: 3.8k
Forks: 152
Open beginner issues: 0
Indexed issues: 3

Dominant language: Haskell
License: MIT
Last GitHub push: Dec 9, 2024
Latest indexed: Sep 17, 2026
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Beginner labels: No beginner labels indexed
PR merge metrics: No merged PRs in 30d

Open All

3 open issues indexed

Syntax in the explanation Open

HigherOrderCO/Kind#585 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Equivalence on UnordPair Open

HigherOrderCO/Kind#586 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Allow @ Instead of Unicodes Lambda (λ) and For All (∀) Open

HigherOrderCO/Kind#604 · 0 comments · 0 reactions · 2 assignees · Indexed Sep 17, 2026

A short digest of beginner-friendly GitHub issues.