good first issue
Repository metrics
- Stars
- (576 stars)
- PR merge metrics
- (Avg merge 11d 14h) (1 merged PR in 30d)
Description
Some of these things belong in their own collection (contract combinators). Some belong sensible file names (cond-contracts). Some should be deleted from the code base (the require transformers).