search

ziman / lightyear

Parser combinators for Idris
Other
238 stars 43 forks source link

Add support for elba #70

Open dcao opened 5 years ago

dcao commented 5 years ago

This commit adds support for the elba package manager.

If/when #57 is merged, the test targets can be reduced down to just one, which uses tests/SpecSuite.specSuite.