diff --git a/LICENSE b/COPYING similarity index 100% rename from LICENSE rename to COPYING diff --git a/typed-compose.rkt b/typed-compose.rkt index 0f75fea..a5857a5 100644 --- a/typed-compose.rkt +++ b/typed-compose.rkt @@ -1,3 +1,21 @@ +;;; typed-compose.rkt +;;; +;;; Copyright 2020 Sergiu Ivanov +;;; +;;; This program is free software: you can redistribute it and/or +;;; modify it under the terms of the GNU General Public License as +;;; published by the Free Software Foundation, either version 3 of the +;;; License, or (at your option) any later version. +;;; +;;; This program is distributed in the hope that it will be useful, +;;; but WITHOUT ANY WARRANTY; without even the implied warranty of +;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU +;;; General Public License for more details. +;;; +;;; You should have received a copy of the GNU General Public License +;;; along with this program. If not, see +;;; . + #lang typed/racket (require (for-syntax syntax/parse)) diff --git a/typed-compose.scrbl b/typed-compose.scrbl index 01e76e5..cc6ca78 100644 --- a/typed-compose.scrbl +++ b/typed-compose.scrbl @@ -13,6 +13,18 @@ the same for two successive functions in the argument list. This package defines some further utilities to allow @racket[compose]-ing more than two functions more comfortable in Typed Racket. -This package is distributed under the -@hyperlink["https://www.gnu.org/licenses/quick-guide-gplv3.html"]{GNU GPLv3 -licence}. +@section{License} + +This program is free software: you can redistribute it and/or modify it under +the terms of the GNU General Public License as published by the Free Software +Foundation, either version 3 of the License, or (at your option) any +later version. + +This program is distributed in the hope that it will be useful, but +@bold{without any warranty}; without even the implied warranty of +@bold{merchantability} or @bold{fitness for a particular purpose}. See the GNU +General Public License for more details. + +You should have received a copy of the GNU General Public License along with +this program. If not, see +@hyperlink["https://www.gnu.org/licenses/"]{https://www.gnu.org/licenses/}.