How can I use this library in my project?

[bgavran]

I'm trying to use this package in my project and I'm not sure how to properly install/import it. The official documentation doesn't mention anything about installation of third party libraries.

Juts putting "-p lens" in my opts field of my project ipkg also doesn't seem to be working. After typing idris --build myprojectname.ipkg I'm getting:

The following packages were specified but cannot be found:
- lens