/idris

Exercism exercises in Idris.

Primary LanguageIdrisMIT LicenseMIT

Exercism Idris Track

Exercism problems in Idris.

TODO

Document how to contribute to the Idris track.

Contributing Guide

Please see the contributing guide