specdris

A test framework for Idris

GitHub
56 stars
6 watching
9 forks
Language: Idris
last commit: over 5 years ago
Linked from 1 awesome list

idrisidris-ecosystemtest-frameworktestingunit-testingunittest

Backlinks from these awesome lists: