permutations

★ 37 Open GitHub ↗

Provides a type-safe way of working with permutations in Idris

Explore Similar Repositories

powershell : Just random powershell things I've put together.
WebPage-Cloner : This is a python script which clones a given website or web page with all the CSS,JS and Images.
crunchbase-ml : Merge and Acquisitions Prediction based on M&A information from Crunchbase.
jqaas : jq as a service
Cycript : Cycript allows developers to explore and modify running applications on either iOS or Mac OS X。
// repository documentation