#lang meta/web

(require "resources.rkt")

(provide web-copyright)
(define web-copyright
  @page{
    The text of this website is available for modification and reuse
    under the terms of the Creative Commons Attribution-Sharealike 3.0
    Unported License and the GNU Free Documentation
    License (unversioned, with no invariant sections, front-cover texts,
    or back-cover texts).})
