agda-tree

literate programming agda in forester

GPL-3.0 License

Stars
2
Committers
1

Commit Statistics

Past Year

All Time

Total Commits
40
40
Total Committers
1
1
Avg. Commits Per Committer
40.0
40.0
Bot Commits
0
0

Issue Statistics

Past Year

All Time

Total Pull Requests
0
0
Merged Pull Requests
0
0
Total Issues
9
9
Time to Close Issues
6 days
6 days