search

edwinb / Idris2-boot

A dependently typed programming language, a successor to Idris
https://idris-lang.org/
Other
902 stars 58 forks source link

--find-pkg load dependencies #350

Closed berewt closed 4 years ago

berewt commented 4 years ago

It addresses issues #349.

It includes all the packages of the depends field when it finds the ipkg file.

edwinb commented 4 years ago

Thanks!