I’ve been hacking on this side project for 7 months so I suppose it’s about time I wrote some tests… https://github.com/edwinb/Blodwen/
-
-
just got curious, but this https://github.com/david-christiansen/idris-quickcheck … is still alive? no commit for a while, which got me wondering. /cc
@d_christiansen -
It's thoroughly bitrottet and never really got in a working state
- 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.