Skip to content

Instantly share code, notes, and snippets.

@voronoipotato
Created August 12, 2020 01:42
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save voronoipotato/a84b4fa1e8aacb18846b30e764744130 to your computer and use it in GitHub Desktop.
Save voronoipotato/a84b4fa1e8aacb18846b30e764744130 to your computer and use it in GitHub Desktop.
#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
<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