Created
August 12, 2020 01:42
-
-
Save voronoipotato/a84b4fa1e8aacb18846b30e764744130 to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#r "../_lib/Fornax.Core.dll" | |
#load "layout.fsx" | |
open Html | |
let about = "Alan was here,fight me" | |
let generate' (ctx : SiteContents) (_: string) = | |
let siteInfo = ctx.TryGetValue<Globalloader.SiteInfo> () | |
let desc = | |
siteInfo | |
|> Option.map (fun si -> si.description) | |
|> Option.defaultValue "" | |
Layout.layout ctx "Home" [ | |
section [Class "hero is-info is-medium is-bold"] [ | |
div [Class "hero-body"] [ | |
div [Class "container has-text-centered"] [ | |
h1 [Class "title"] [!!desc] | |
] | |
] | |
] | |
div [Class "container"] [ | |
section [Class "articles"] [ | |
div [Class "column is-8 is-offset-2"] [ | |
div [Class "card article"] [ | |
div [Class "card-content"] [ | |
div [Class "content article-body"] [ | |
!! about | |
] | |
] | |
] | |
] | |
] | |
]] | |
let generate (ctx : SiteContents) (projectRoot: string) (page: string) = | |
generate' ctx page | |
|> Layout.render ctx |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<html> | |
<head> | |
<script type="text/javascript"> | |
var wsUri = "ws://localhost:8080/websocket"; | |
function init() | |
{ | |
websocket = new WebSocket(wsUri); | |
websocket.onclose = function(evt) { onClose(evt) }; | |
} | |
function onClose(evt) | |
{ | |
console.log('closing'); | |
websocket.close(); | |
document.location.reload(); | |
} | |
window.addEventListener("load", init, false); | |
</script> | |
<meta httpEquiv="Content-Type" content="text/html; charset=utf-8"/> | |
<meta name="viewport" content="width=1510"/> | |
<meta name="format-detection" content="telephone=no"/> | |
<title> | |
F# Software Foundation | |
</title> | |
<link rel="icon" type="image/png" sizes="32x32" href="images/favicon.png"/> | |
<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=Open+Sans:300,300i,400,400i,600,600i,700,700i,800,800i&display=swap"/> | |
<link rel="stylesheet" type="text/css" href="css/font-awesome.min.css"/> | |
<link rel="stylesheet" type="text/css" href="css/style.css"/> | |
<link rel="stylesheet" type="text/css" href="https://kenwheeler.github.io/slick/slick/slick.css"/> | |
<link rel="stylesheet" type="text/css" href="https://kenwheeler.github.io/slick/slick/slick-theme.css"/> | |
</head> | |
<body> | |
<div class="wrapper"> | |
<header> | |
<div class="container"> | |
<div class="header-top"> | |
<div class="header-lft"> | |
<h5> | |
Already a fan of F#? | |
</h5> | |
<h6> | |
Join the community, membership is free. | |
</h6> | |
</div> | |
<div class="header-rgt"> | |
<ul> | |
<li> | |
<a href="#"> | |
REGISTER | |
</a> | |
</li> | |
<li> | |
<a href="#"> | |
LOGIN | |
</a> | |
</li> | |
</ul> | |
</div> | |
<div class="clear"></div> | |
</div> | |
<div class="header-main"> | |
<nav> | |
<ul> | |
<li> | |
<a href="about.html"> | |
ABOUT F# | |
</a> | |
</li> | |
<li> | |
<a href="docs.html"> | |
DOCS | |
</a> | |
<div class="header-btm"> | |
<ul> | |
<li class="connect"> | |
<a href="#"> | |
API | |
</a> | |
</li> | |
<li> | |
<a href="#" class="login"> | |
LEARN | |
</a> | |
</li> | |
<li> | |
<a href="#"> | |
GUIDELINE | |
</a> | |
</li> | |
<li> | |
<a href="#"> | |
REFERENCE | |
</a> | |
</li> | |
<li> | |
<a href="#"> | |
CHEAT SHEET | |
</a> | |
</li> | |
</ul> | |
</div> | |
</li> | |
<li> | |
<a href="https://try.fsharp.org"> | |
TRY ONLINE | |
</a> | |
</li> | |
<li> | |
<a href="install.html"> | |
INSTALL | |
</a> | |
</li> | |
<li> | |
<a href="community.html"> | |
COMMUNITY | |
</a> | |
</li> | |
<li> | |
<a href="foundation.html"> | |
FOUNDATION | |
</a> | |
</li> | |
</ul> | |
</nav> | |
</div> | |
<div class="container"> | |
<div class="social-icon"> | |
<ul> | |
<li class="facebook"> | |
<a href="#"> | |
<i class="fa fa-facebook"></i> | |
</a> | |
</li> | |
<li class="twitter"> | |
<a href="#"> | |
<i class="fa fa-twitter"></i> | |
</a> | |
</li> | |
<li class="teddy"> | |
<a href="#"> | |
<i class="fa fa-github"></i> | |
</a> | |
</li> | |
<li> | |
<input type="text" name="lastname" placeholder="Search"/> | |
</li> | |
</ul> | |
</div> | |
</div> | |
</div> | |
</header> | |
<div class="mature"> | |
<div class="container"> | |
<div class="mature-in"> | |
<div class="mature-blk"> | |
<p> | |
F# is a mature, open source, cross-platform, | |
<br/> | |
functional-first programming language | |
</p> | |
</div> | |
</div> | |
</div> | |
</div> | |
<div class="cross"> | |
<div class="container"> | |
<div class="cross-in"> | |
<div class="cross-lft"> | |
<p> | |
F# runs on Linux, Mac OS X, Android, iOS, | |
<br/> | |
Windows, GPUs, and browsers. It is free to use and is | |
<br/> | |
open sourceunder an OSI-approved | |
<br/> | |
license. | |
</p> | |
<p> | |
F# is used in a wide range of application areas and is | |
<br/> | |
supported by both an active open | |
<br/> | |
community and industry-leading companies | |
<br/> | |
providing professional tools. | |
</p> | |
<ul> | |
<li> | |
<a href="#"> | |
Getting Started | |
</a> | |
</li> | |
<li> | |
<a href="#"> | |
Install F# | |
</a> | |
</li> | |
</ul> | |
</div> | |
<div class="cross-rgt"> | |
<div class="cross-main"> | |
<p> | |
// Declare a local value (inferred type is string) | |
<br/> | |
let world = "world" | |
<br/> | |
// Using '%s' format specifier to include string | |
<br/> | |
parameter | |
<br/> | |
printfn "Hello %s!" world | |
</p> | |
<div class="cross-txt"> | |
<a href="#"> | |
RUN | |
</a> | |
</div> | |
</div> | |
</div> | |
<div class="clear"></div> | |
</div> | |
</div> | |
</div> | |
<div class="high"> | |
<div class="container"> | |
<div class="high-in"> | |
<ul> | |
<li> | |
<div class="high-blk"> | |
<h3> | |
highlight #1 | |
</h3> | |
<p> | |
Lorem ipsum dolor sit amet, consectetuer adipiscing elit. | |
</p> | |
</div> | |
</li> | |
<li> | |
<div class="high-blk"> | |
<h3> | |
highlight #2 | |
</h3> | |
<p> | |
Lorem ipsum dolor sit amet, consectetuer adipiscing elit. | |
</p> | |
</div> | |
</li> | |
<li> | |
<div class="high-blk"> | |
<h3> | |
highlight #3 | |
</h3> | |
<p> | |
Lorem ipsum dolor sit amet, consectetuer adipiscing elit. | |
</p> | |
</div> | |
</li> | |
</ul> | |
</div> | |
</div> | |
</div> | |
<div class="case"> | |
<div class="container"> | |
<div class="case-in"> | |
<h4> | |
case studies | |
</h4> | |
</div> | |
</div> | |
</div> | |
<div class="studies"> | |
<ul> | |
<li> | |
<figure> | |
<img src="images/small-img1.jpg" alt="img" width="500" height="236"/> | |
</figure> | |
</li> | |
<li> | |
<figure> | |
<img src="images/small-img2.png" alt="img" width="500" height="236"/> | |
</figure> | |
</li> | |
<li> | |
<figure> | |
<img src="images/shap-img3.png" alt="img" width="500" height="236"/> | |
</figure> | |
</li> | |
</ul> | |
</div> | |
<div class="slider"> | |
<div class="louvre"> | |
<div class="container"> | |
<div class="louvre-in"> | |
<h3> | |
LouVRe - abu dhabi | |
</h3> | |
<p> | |
Goswin Rothenthal used F# and Rhinoceros3D to construct an associative digital 3D model for the manufacturing of the Cladding of the Louvre Abu Dhabi Dome | |
</p> | |
<a href="#"> | |
READ testimonials | |
</a> | |
</div> | |
</div> | |
</div> | |
<div class="louvre"> | |
<div class="container"> | |
<div class="louvre-in"> | |
<h3> | |
LouVRe - abu dhabi | |
</h3> | |
<p> | |
Goswin Rothenthal used F# and Rhinoceros3D to construct an associative digital 3D model for the manufacturing of the Cladding of the Louvre Abu Dhabi Dome | |
</p> | |
<a href="#"> | |
READ testimonials | |
</a> | |
</div> | |
</div> | |
</div> | |
</div> | |
<div class="sponsors"> | |
<div class="container"> | |
<div class="sponsors-in"> | |
<h4> | |
SPONSORS | |
</h4> | |
</div> | |
<ul> | |
<li> | |
<a href="#"> | |
<img src="images/icon1.png" alt="img" width="183" height="74"/> | |
</a> | |
</li> | |
<li> | |
<a href="#"> | |
<img src="images/icon2.png" alt="img" width="183" height="74"/> | |
</a> | |
</li> | |
<li> | |
<a href="#"> | |
<img src="images/icon3.png" alt="img" width="183" height="74"/> | |
</a> | |
</li> | |
<li> | |
<a href="#"> | |
<img src="images/icon4.png" alt="img" width="183" height="74"/> | |
</a> | |
</li> | |
<li> | |
<a href="#"> | |
<img src="images/icon5.png" alt="img" width="183" height="74"/> | |
</a> | |
</li> | |
</ul> | |
</div> | |
<div class="back-to-top"> | |
<a href="#" class="scrollToTop"> | |
<i class="fa fa-angle-up"></i> | |
</a> | |
</div> | |
</div> | |
<footer> | |
<div class="container"> | |
<div class="footer-in"> | |
<div class="ftr-lft"> | |
<div class="ftr-txt"> | |
<h4> | |
become a member | |
</h4> | |
<ul> | |
<li> | |
<input type="text" name="lastname" placeholder="Email Address"/> | |
</li> | |
<li> | |
<button> | |
JOIN | |
</button> | |
</li> | |
</ul> | |
<a href="#"> | |
Learn more about F# memberships | |
</a> | |
</div> | |
<div class="spanish"> | |
<ul> | |
<li> | |
<a href="#" class="active"> | |
English | |
</a> | |
</li> | |
<li> | |
<a href="#"> | |
Spanish | |
</a> | |
</li> | |
<li> | |
<a href="#"> | |
Japanese | |
</a> | |
</li> | |
<li> | |
<a href="#"> | |
Russian | |
</a> | |
</li> | |
<li> | |
<a href="#"> | |
Czech | |
</a> | |
</li> | |
<li> | |
<a href="#"> | |
French | |
</a> | |
</li> | |
<li> | |
<a href="#"> | |
Portuguese | |
</a> | |
</li> | |
</ul> | |
</div> | |
</div> | |
<div class="ftr-rgt"> | |
<div class="ftr-cont"> | |
<p> | |
Copyright © 2012-2018 F# Software Foundation and individual contributors. Maintained by F# Software Foundation and the F# community on GitHub. | |
</p> | |
</div> | |
</div> | |
<div class="clear"></div> | |
</div> | |
</div> | |
</footer> | |
</div> | |
<script src="https://ajax.googleapis.com/ajax/libs/jquery/3.3.1/jquery.min.js"></script> | |
<script src="https://kenwheeler.github.io/slick/slick/slick.js"></script> | |
<script> | |
$(document).ready(function(){ | |
if ($(this).scrollTop()) { | |
$('.back-to-top').fadeIn(); | |
} else { | |
$('.back-to-top').fadeOut(); | |
} | |
}); | |
$('.scrollToTop').click(function(){ | |
$('html, body').animate({scrollTop : 0},1500); | |
return false; | |
}); | |
</script> | |
<script> | |
$(document).ready(function(e){ | |
$('.slider').slick({ | |
autoplay: true, | |
autoplaySpeed: 3000, | |
infinite: true, | |
speed: 500, | |
fade: false, | |
arrows:true, | |
dots:false, | |
cssEase: 'linear' | |
}) | |
}) | |
</script> | |
</body> | |
</html> |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment