milessabin/idris2-linux Issues

Stars: (0 stars)
Forks: (0 forks)
Indexed issues: (0 indexed issues)
open beginner issues: (0 open beginner issues)
Latest indexed: Aug 11, 2026
Last GitHub push: Jan 22, 2026
License: BSD 3-Clause "New" or "Revised" License
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Dominant language: Idris
PR merge metrics: (No merged PRs in 30d)
Beginner labels: No beginner labels indexed

Issues

0 closed indexed issues

No closed indexed issues found for this repository.