Geeks
cuddlefishie
/
tester-idr
Small testing framework for Idris 2
Primary Language
Idris
tester-idr GitHub
Markdown
Readme
0
Issues
4
Stargazers
2
Watchers
No issues in this repository yet.