Add MIT license (per https://inigo.pm/about)

idris-community / inigo

Inigo: A Package Manager for Idris2

https://inigo.pm

MIT License

60 stars 7 forks source link

Closed IFcoltransG closed 2 years ago

IFcoltransG commented 3 years ago

The repository was originally licensed under MIT license.

Z-snails commented 2 years ago

@hayesgm is this ok with you?

hayesgm commented 2 years ago

Yes, perfect!