replace 'problems' key with 'exercises' in config.json - Githubissues

exercism / idris

Exercism exercises in Idris.

https://exercism.org/tracks/idris

MIT License

32 stars 18 forks source link

replace 'problems' key with 'exercises' in config.json #8

Closed cgrayson closed 8 years ago

cgrayson commented 8 years ago

see #7

yurrriq commented 8 years ago

Thanks.