From 1bfbe1736ceda8659a483cb3303a3ea67496458a Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Wed, 27 Feb 2013 15:54:02 -0500 Subject: Initial commit of 6.947, the fake Course VI class --- main.ur | 109 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 109 insertions(+) create mode 100644 main.ur (limited to 'main.ur') diff --git a/main.ur b/main.ur new file mode 100644 index 0000000..efa1266 --- /dev/null +++ b/main.ur @@ -0,0 +1,109 @@ +(* Main -- main entry point +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 . *) + + +(********************************** Styles ***********************************) + +style smallCaps + +style siteTitle +style navBar +style active (* TODO: Use for active menu items *) +style content +style footer + + +(*********************************** Main ************************************) + +fun main () = + return + {headTag None} + +

6.947 – Functional Programming Project Laboratory

+ {menu ()} +
+

+ Like 6.115, 6.947 is a chance to remember why you came to mit: to learn and to build. + Whereas 6.115 focuses on constructing digital systems from compositions of discrete integrated circuits, however, we’ll be focusing on functional programming – constructing software systems from compositions of discrete mathematical functions. + Prepare to leave behind everything you've ever known about programming and enter a world of functors, combinators, and monads; a world without borders or boundaries; a world where anything is possible. +

+
+ {licenseInfo ()} + + + + +(*********************************** Forum ***********************************) + +and forum () = + return + {headTag (Some "Forum")} + +

6.947 – Functional Programming Project Laboratory

+ {menu ()} +
+

+ Coming soon! +

+
+ {licenseInfo ()} + + + + +(****************************** Page components ******************************) + +and headTag (pageName : option string) : xhtml [] [] = + let val titleString : string = + case pageName of + | None => "6.947 – Functional Programming Project Laboratory" + | Some s => "6.947 – " ^ s + in + + + {[titleString]} + + + + end + +and menu () : xbody = + + + + +and licenseInfo () : xbody = + +
+

+ 6.947 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 can get the 6.947 source code via AFS. +

+
+ -- cgit v1.2.3