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 --- menu.urs | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) (limited to 'menu.urs') diff --git a/menu.urs b/menu.urs index 0372aab..59f02f1 100644 --- a/menu.urs +++ b/menu.urs @@ -16,8 +16,6 @@ details. You should have received a copy of the GNU Affero General Public License along with 6.947. If not, see . *) -(* The menu scheme in this app is based on a variant 'pageName', which -describes the name of the page. There's one value for each page. *) -con pageName = variant (mapU unit [Main, Forum]) - -val header : pageName -> xbody +(* Given the name of the page we're currently on, produces a header and menu +for the site. *) +val header : Config.pageName -> xbody -- cgit v1.2.3