search

idris-hackers / IdrisWeb

A secure web framework, built in the Idris language.
MIT License
109 stars 6 forks source link

No license #9

Closed david-christiansen closed 10 years ago

david-christiansen commented 10 years ago

I assume the intention is to have a BSD-style license in line with most Idris libraries. I'm currently in the process of extracting the SQLite bindings from IdrisWeb to serve as the basis for a somewhat bigger SQLite library with a type provider or two, and it would be nice to know what licensing restrictions there are for that.

SimonJF commented 10 years ago

You're absolutely right (and I think in the UK that means the author has full copyright...)

I'll license it as BSD. Thanks for spotting.

Also, I hate to be a massive pain but I've made one or two edits to the SQLite library, so you may want to review the changes if you've done some work already.

SimonJF commented 10 years ago

MIT Licensed as of 182f139da08ad1f4faf5f77d2ad2e267c97fc790.

david-christiansen commented 10 years ago

Thanks!

david-christiansen commented 10 years ago

Not a pain at all, thanks for the heads-up. I'm currently learning neweffects by porting the lib.