Include Agda files needed for tests in sdist

isovector / cornelis

agda-mode for neovim

BSD 3-Clause "New" or "Revised" License

130 stars 22 forks source link

Closed phijor closed 4 months ago

phijor commented 4 months ago

I think this is all that's needed to fix #150.

phijor commented 4 months ago

I think it'd be nice to get a new release on Hackage that includes this patch. If there's any way in which I can help with that, please tell me.

isovector commented 4 months ago

Merged and updated on hackage. Thanks for helping pushing this through!