leostera/idris-coda Issues

Stars: (6 個のスター)
Forks: (0 件のフォーク)
Indexed issues: (0 件の索引済み Issue)
open beginner issues: (0 件のオープンな初心者向け Issue)
最終索引: 2026/08/24
最終 GitHub push: 2017/10/16
ライセンス: BSD 3-Clause "New" or "Revised" License
コントリビューションガイド: コントリビューションガイドはありません
行動規範: 行動規範はありません
主要言語: Idris
PR merge metrics: (30d に merged PR はありません)
初心者向けラベル: 索引済み初心者向けラベルはありません

Issue

0 件のオープンな索引 Issue

このリポジトリには open の索引済み Issue がありません。