Fully comply with how GPL should be specified.

This commit is contained in:
Sergiu Ivanov 2020-12-17 21:54:12 +01:00
parent 1dddc26d8d
commit 52a3042afd
3 changed files with 33 additions and 3 deletions

View file

View file

@ -1,3 +1,21 @@
;;; typed-compose.rkt
;;;
;;; Copyright 2020 Sergiu Ivanov <sivanov@colimite.fr>
;;;
;;; 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
;;; <https://www.gnu.org/licenses/>.
#lang typed/racket
(require (for-syntax syntax/parse))

View file

@ -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/}.