GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → vmchale → permutations

vmchale / permutations

Licence: BSD-3-Clause license
Provides a type-safe way of working with permutations in Idris

Programming Languages

Idris
72 projects
Makefile
30231 projects

permutations

This is a library providing a type-safe implementation of permutations.

Installation

 $ idris --install permutations.ipkg

Use

Tips

The most useful thing this library provides is a Group instance for permutations. You can multiply two elements with <+>, invert with inverse, an so on.

Notation

The Show instance for Permutation uses cycle notation. You can read more here if you find it confusing.

Documentation

Documentation.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].