keyvalue
id96308956
namespecdris
full_namepheymann/specdris
html_urlhttps://github.com/pheymann/specdris
descriptionA test framework for Idris
created_atJuly 5, 2017, 10:47 a.m.
updated_atDec. 4, 2022, 6:38 p.m.
pushed_atMarch 21, 2019, 8:23 a.m.
size62
stargazers_count56
watchers_count6
forks_count9
open_issues1
languageIdris
awesome_list

https://github.com/joaomilho/awesome-idris