Giters
buzden
/
idris2-summary-stat
Summary statistics facilities for Idris2
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
Watchers:
2
Issues:
1
Forks:
buzden/idris2-summary-stat Issues
[ pack ] Test failures during generation of nightly require user interaction
Updated
2 years ago