search

JanBessai / SubtypeMachine

1 stars 1 forks source link

Missing license #2

Open gares opened 1 month ago

gares commented 1 month ago

I'd like to use the extracted OCaml code in elpi but this development lacks a license. Would it be possible to add one (possibly compatible with LGPL2.1+)?

JanBessai commented 1 month ago

Hey.. cool that this might be useful to someone! :) Note that there is a much more advanced version in Types.v of https://github.com/combinators/cls-coq

I usually prefer to put things under Apache 2 license. Would that work for your purposes? Also, let me know if you want to chat. I've been out of the academic loop for a while and it would be interesting to see what is going on there.

gares commented 1 month ago

Apparently not without some twists: https://www.apache.org/licenses/GPL-compatibility.html