exercism/idris

Name: idris

Owner: exercism

Description: Exercism exercises in Idris.

Created: 2016-06-27 21:02:37.0

Updated: 2018-04-29 16:53:52.0

Pushed: 2018-04-29 16:53:50.0

Homepage: http://exercism.io/languages/idris

Size: 79

Language: Idris

GitHub Committers

User	Most Recent Commit	# Commits

Other Committers

User	Email	Most Recent Commit	# Commits

README

Exercism Idris Track

Exercism problems in Idris.

TODO

Document how to contribute to the Idris track.

Contributing Guide

Please see the contributing guide