From 5b8b76078ca1eb04ad787b1884b1c1e79b2273c8 Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Sat, 16 Mar 2013 16:25:45 -0400 Subject: Decouple a bunch of stuff into Config and Template --- config.ur | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) create mode 100644 config.ur (limited to 'config.ur') diff --git a/config.ur b/config.ur new file mode 100644 index 0000000..387dd81 --- /dev/null +++ b/config.ur @@ -0,0 +1,24 @@ +(* Config -- site-wide configuration +Copyright (C) 2013 Benjamin Barenblat + +This file is a part of 6.947. + +6.947 is 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. + +6.947 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 Affero General Public License for more +details. + +You should have received a copy of the GNU Affero General Public License along +with 6.947. If not, see . *) + +val baseUrlS = "/urweb/6.947" + +val siteTitle = 6.947 – Functional Programming Project Laboratory + +con pageName = variant (mapU unit [Main, Forum]) + -- cgit v1.2.3