Releasing under GNU AGPLv3.

Rakefile

@@ -1,3 +1,21 @@
+### This file is part of Rules, a pattern matching, pattern dispatch,
+### and term rewriting system for MIT Scheme.
+### Copyright 2010 Alexey Radul.
+###
+### Rules is free software; you can redistribute it and/or modify it
+### under the terms of the GNU Affero General Public License as
+### published by the Free Software Foundation; either version 3 of the
+### License, or (at your option) any later version.
+### 
+### This code 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 Affero General Public
+### License along with Rules; if not, see
+### <http://www.gnu.org/licenses/>.
+
 def files
   ["matcher",
    "pattern-directed-invocation",

load.scm

@@ -1,4 +1,22 @@
-;;;; File:  load.scm -- Loader for rule system
+;;; This file is part of Rules, a pattern matching, pattern dispatch,
+;;; and term rewriting system for MIT Scheme.
+;;; Copyright 2010 Alexey Radul.
+;;;
+;;; Rules is free software; you can redistribute it and/or modify it
+;;; under the terms of the GNU Affero General Public License as
+;;; published by the Free Software Foundation; either version 3 of the
+;;; License, or (at your option) any later version.
+;;; 
+;;; This code 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 Affero General Public
+;;; License along with Rules; if not, see
+;;; <http://www.gnu.org/licenses/>.
+
+;;;; Loading Rules
 
 (define (self-relatively thunk)
   (if (current-eval-unit #f)

matcher.scm

@@ -1,3 +1,21 @@
+;;; This file is part of Rules, a pattern matching, pattern dispatch,
+;;; and term rewriting system for MIT Scheme.
+;;; Copyright 2010 Alexey Radul.
+;;;
+;;; Rules is free software; you can redistribute it and/or modify it
+;;; under the terms of the GNU Affero General Public License as
+;;; published by the Free Software Foundation; either version 3 of the
+;;; License, or (at your option) any later version.
+;;; 
+;;; This code 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 Affero General Public
+;;; License along with Rules; if not, see
+;;; <http://www.gnu.org/licenses/>.
+
 ;;;; Matcher based on match combinators, CPH/GJS style.
 ;;;     Idea is in Hewitt's PhD thesis (1969).
 

pattern-directed-invocation.scm

@@ -1,3 +1,21 @@
+;;; This file is part of Rules, a pattern matching, pattern dispatch,
+;;; and term rewriting system for MIT Scheme.
+;;; Copyright 2010 Alexey Radul.
+;;;
+;;; Rules is free software; you can redistribute it and/or modify it
+;;; under the terms of the GNU Affero General Public License as
+;;; published by the Free Software Foundation; either version 3 of the
+;;; License, or (at your option) any later version.
+;;; 
+;;; This code 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 Affero General Public
+;;; License along with Rules; if not, see
+;;; <http://www.gnu.org/licenses/>.
+
 (declare (usual-integrations))
 
 ;;; A rule, in this terminology, is a pattern and a handler.  The

simplification.scm

@@ -1,3 +1,21 @@
+;;; This file is part of Rules, a pattern matching, pattern dispatch,
+;;; and term rewriting system for MIT Scheme.
+;;; Copyright 2010 Alexey Radul.
+;;;
+;;; Rules is free software; you can redistribute it and/or modify it
+;;; under the terms of the GNU Affero General Public License as
+;;; published by the Free Software Foundation; either version 3 of the
+;;; License, or (at your option) any later version.
+;;; 
+;;; This code 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 Affero General Public
+;;; License along with Rules; if not, see
+;;; <http://www.gnu.org/licenses/>.
+
 (declare (usual-integrations))
 
 ;;; RULE-SIMPLIFIER makes term-rewriting systems from collections of

simplifiers.scm

@@ -1,7 +1,25 @@
-;;;; Functions for generating common rule types
+;;; This file is part of Rules, a pattern matching, pattern dispatch,
+;;; and term rewriting system for MIT Scheme.
+;;; Copyright 2010 Alexey Radul.
+;;;
+;;; Rules is free software; you can redistribute it and/or modify it
+;;; under the terms of the GNU Affero General Public License as
+;;; published by the Free Software Foundation; either version 3 of the
+;;; License, or (at your option) any later version.
+;;; 
+;;; This code 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 Affero General Public
+;;; License along with Rules; if not, see
+;;; <http://www.gnu.org/licenses/>.
 
 (declare (usual-integrations))
 
+;;;; Functions for generating common rule types
+
 ;;; Note the use of unquote in the matcher expressions.
 
 (define (nullary-replacement operator value)

support/auto-compilation.scm

@@ -1,3 +1,21 @@
+;;; This file is part of Rules, a pattern matching, pattern dispatch,
+;;; and term rewriting system for MIT Scheme.
+;;; Copyright 2010 Alexey Radul.
+;;;
+;;; Rules is free software; you can redistribute it and/or modify it
+;;; under the terms of the GNU Affero General Public License as
+;;; published by the Free Software Foundation; either version 3 of the
+;;; License, or (at your option) any later version.
+;;; 
+;;; This code 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 Affero General Public
+;;; License along with Rules; if not, see
+;;; <http://www.gnu.org/licenses/>.
+
 (declare (usual-integrations))
 
 ;;;; Auto-compilation

support/eq-properties.scm

@@ -1,3 +1,21 @@
+;;; This file is a supporting library for Rules, a pattern matching,
+;;; pattern dispatch, and term rewriting system for MIT Scheme.
+;;; Copyright Gerald Jay Sussman.
+;;;
+;;; This program is free software; you can redistribute it and/or
+;;; modify it under the terms of the GNU Affero General Public License
+;;; as published by the Free Software Foundation; either version 3 of
+;;; the License, or (at your option) any later version.
+;;; 
+;;; This code 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 Affero General Public
+;;; License along with Rules; if not, see
+;;; <http://www.gnu.org/licenses/>.
+
 ;;;; Traditional LISP property lists
 ;;;   extended to work on any kind of 
 ;;;   eq? data structure.

support/ghelper.scm

@@ -1,3 +1,21 @@
+;;; This file is a supporting library for Rules, a pattern matching,
+;;; pattern dispatch, and term rewriting system for MIT Scheme.
+;;; Copyright Gerald Jay Sussman.
+;;;
+;;; This program is free software; you can redistribute it and/or
+;;; modify it under the terms of the GNU Affero General Public License
+;;; as published by the Free Software Foundation; either version 3 of
+;;; the License, or (at your option) any later version.
+;;; 
+;;; This code 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 Affero General Public
+;;; License along with Rules; if not, see
+;;; <http://www.gnu.org/licenses/>.
+
 ;;;;           Most General Generic-Operator Dispatch
 
 (declare (usual-integrations))

support/utils.scm

@@ -1,3 +1,21 @@
+;;; This file is part of Rules, a pattern matching, pattern dispatch,
+;;; and term rewriting system for MIT Scheme.
+;;; Copyright 2010 Alexey Radul.
+;;;
+;;; Rules is free software; you can redistribute it and/or modify it
+;;; under the terms of the GNU Affero General Public License as
+;;; published by the Free Software Foundation; either version 3 of the
+;;; License, or (at your option) any later version.
+;;; 
+;;; This code 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 Affero General Public
+;;; License along with Rules; if not, see
+;;; <http://www.gnu.org/licenses/>.
+
 (declare (usual-integrations))
 
 ;;; This procedure was dredged from the dark recesses of Edwin.  Many

test/load.scm

@@ -1,3 +1,21 @@
+;;; This file is part of Rules, a pattern matching, pattern dispatch,
+;;; and term rewriting system for MIT Scheme.
+;;; Copyright 2010 Alexey Radul.
+;;;
+;;; Rules is free software; you can redistribute it and/or modify it
+;;; under the terms of the GNU Affero General Public License as
+;;; published by the Free Software Foundation; either version 3 of the
+;;; License, or (at your option) any later version.
+;;; 
+;;; This code 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 Affero General Public
+;;; License along with Rules; if not, see
+;;; <http://www.gnu.org/licenses/>.
+
 (define (self-relatively thunk)
   (if (current-eval-unit #f)
       (with-working-directory-pathname

test/matcher-test.scm

@@ -1,3 +1,21 @@
+;;; This file is part of Rules, a pattern matching, pattern dispatch,
+;;; and term rewriting system for MIT Scheme.
+;;; Copyright 2010 Alexey Radul.
+;;;
+;;; Rules is free software; you can redistribute it and/or modify it
+;;; under the terms of the GNU Affero General Public License as
+;;; published by the Free Software Foundation; either version 3 of the
+;;; License, or (at your option) any later version.
+;;; 
+;;; This code 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 Affero General Public
+;;; License along with Rules; if not, see
+;;; <http://www.gnu.org/licenses/>.
+
 (in-test-group
  matcher
 

test/pattern-directed-invocation-test.scm

@@ -1,3 +1,21 @@
+;;; This file is part of Rules, a pattern matching, pattern dispatch,
+;;; and term rewriting system for MIT Scheme.
+;;; Copyright 2010 Alexey Radul.
+;;;
+;;; Rules is free software; you can redistribute it and/or modify it
+;;; under the terms of the GNU Affero General Public License as
+;;; published by the Free Software Foundation; either version 3 of the
+;;; License, or (at your option) any later version.
+;;; 
+;;; This code 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 Affero General Public
+;;; License along with Rules; if not, see
+;;; <http://www.gnu.org/licenses/>.
+
 (in-test-group
  pattern-directed-invocation
 

test/simplification-test.scm

@@ -1,3 +1,21 @@
+;;; This file is part of Rules, a pattern matching, pattern dispatch,
+;;; and term rewriting system for MIT Scheme.
+;;; Copyright 2010 Alexey Radul.
+;;;
+;;; Rules is free software; you can redistribute it and/or modify it
+;;; under the terms of the GNU Affero General Public License as
+;;; published by the Free Software Foundation; either version 3 of the
+;;; License, or (at your option) any later version.
+;;; 
+;;; This code 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 Affero General Public
+;;; License along with Rules; if not, see
+;;; <http://www.gnu.org/licenses/>.
+
 (in-test-group
  simplification