Skip to content

Commit 00eabe1

Browse files
committed
outline.
1 parent 1060832 commit 00eabe1

File tree

1 file changed

+39
-15
lines changed

1 file changed

+39
-15
lines changed

index.html

Lines changed: 39 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
<head>
44
<meta charset="utf-8">
55
<meta http-equiv="X-UA-Compatible" content="chrome=1">
6-
<title>Functional IoT by fpiot</title>
6+
<title>Functional IoT</title>
77
<link rel="stylesheet" href="stylesheets/styles.css">
88
<link rel="stylesheet" href="stylesheets/pygment_trac.css">
99
<script src="https://ajax.googleapis.com/ajax/libs/jquery/1.7.1/jquery.min.js"></script>
@@ -26,7 +26,7 @@
2626

2727
<header>
2828
<h1>Functional IoT</h1>
29-
<p></p>
29+
<p>Connect things by well-typed bridge.</p>
3030
</header>
3131

3232
<div id="banner">
@@ -40,8 +40,11 @@ <h1>Functional IoT</h1>
4040
<ul></ul>
4141
</nav>
4242
<section>
43-
<h3>
44-
<a name="welcome-to-github-pages" class="anchor" href="#welcome-to-github-pages"><span class="octicon octicon-link"></span></a>Welcome to GitHub Pages.</h3>
43+
44+
### UNDER CONSTRUCTION ###
45+
46+
<h3>
47+
<a name="whatis" class="anchor" href="#whatis"><span class="octicon octicon-link"></span></a>What is Functional IoT?</h3>
4548

4649
<p>This automatic page generator is the easiest way to create beautiful pages for all of your projects. Author your page content here using GitHub Flavored Markdown, select a template crafted by a designer, and publish. After your page is generated, you can check out the new branch:</p>
4750

@@ -53,29 +56,50 @@ <h3>
5356
<p>If you're using the GitHub for Mac, simply sync your repository and you'll see the new branch.</p>
5457

5558
<h3>
56-
<a name="designer-templates" class="anchor" href="#designer-templates"><span class="octicon octicon-link"></span></a>Designer Templates</h3>
59+
<a name="lang" class="anchor" href="#lang"><span class="octicon octicon-link"></span></a>What language will use?</h3>
5760

58-
<p>We've crafted some handsome templates for you to use. Go ahead and continue to layouts to browse through them. You can easily go back to edit your page before publishing. After publishing your page, you can revisit the page generator and switch to another theme. Your Page content will be preserved if it remained markdown format.</p>
61+
<h4><a href="http://ajhc.metasepi.org/">Ajhc</a> (Haskell)</h4>
62+
<p>Pros:<br>Cons:</p>
5963

60-
<h3>
61-
<a name="rather-drive-stick" class="anchor" href="#rather-drive-stick"><span class="octicon octicon-link"></span></a>Rather Drive Stick?</h3>
64+
<h4><a href="http://www.ats-lang.org/">ATS</a> (ML)</h4>
65+
<p>Pros:<br>Cons:</p>
66+
67+
<h4><a href="http://www.rust-lang.org/">Rust</a> (similar to ML and C)</h4>
68+
<p>Pros:<br>Cons:</p>
6269

63-
<p>If you prefer to not use the automatic generator, push a branch named <code>gh-pages</code> to your repository to create a page manually. In addition to supporting regular HTML content, GitHub Pages support Jekyll, a simple, blog aware static site generator written by our own Tom Preston-Werner. Jekyll makes it easy to create site-wide headers and footers without having to copy them across every page. It also offers intelligent blog support and other advanced templating features.</p>
70+
<h3>
71+
<a name="hardware" class="anchor" href="#hardware"><span class="octicon octicon-link"></span></a>What hardware platform will support?</h3>
72+
73+
<h4><a href="http://www.st.com/web/jp/catalog/tools/FM116/SC959/SS1532/PF252419">STM32F4DISCOVERY</a></h4>
74+
<ul>
75+
<li>Spec / 32-bit ARM Cortex-M4, 192 kB RAM</li>
76+
<li>Ethernet / Optional DP83848 PHY board (<a href="http://blog.tkjelectronics.dk/2012/08/ethernet-on-stm32f4discovery-using-external-phy/">detail</a>)</li>
77+
<li>JTAG debugger / On-board ST-LINK/V2 (<a href="https://github.com/texane/stlink">detail</a>)</li>
78+
<li>Which language can use on? / Ajhc, ATS, Rust</li>
79+
</ul>
80+
81+
<h4><a href="http://arduino.cc/en/Main/ArduinoBoardMega2560">Arduino Mega 2560</a></h4>
82+
<ul>
83+
<li>Spec / 8-bit AVR ATmega2560, 8 kB RAM</li>
84+
<li>Ethernet / Optional Ethernet Shield (<a href="http://www.seeedstudio.com/wiki/Ethernet_Shield">detail</a>)</li>
85+
<li>JTAG debugger / Optional <a href="http://www.atmel.com/tools/avrdragon.aspx">AVR Dragon</a> (<a href="http://www.larsen-b.com/Article/315.html">detail</a>)</li>
86+
<li>Which language can use on? / ATS</li>
87+
</ul>
6488

6589
<h3>
66-
<a name="authors-and-contributors" class="anchor" href="#authors-and-contributors"><span class="octicon octicon-link"></span></a>Authors and Contributors</h3>
90+
<a name="how-use" class="anchor" href="#how-use"><span class="octicon octicon-link"></span></a>How to use?</h3>
6791

68-
<p>You can <a href="https://github.com/blog/821" class="user-mention">@mention</a> a GitHub username to generate a link to their profile. The resulting <code>&lt;a&gt;</code> element will link to the contributor's GitHub Profile. For example: In 2007, Chris Wanstrath (<a href="https://github.com/defunkt" class="user-mention">@defunkt</a>), PJ Hyett (<a href="https://github.com/pjhyett" class="user-mention">@pjhyett</a>), and Tom Preston-Werner (<a href="https://github.com/mojombo" class="user-mention">@mojombo</a>) founded GitHub.</p>
92+
<p>Dive into <a href="https://github.com/fpiot">https://github.com/fpiot</a>.</p>
6993

7094
<h3>
71-
<a name="support-or-contact" class="anchor" href="#support-or-contact"><span class="octicon octicon-link"></span></a>Support or Contact</h3>
95+
<a name="meetup" class="anchor" href="#meetup"><span class="octicon octicon-link"></span></a>Training and Meetup</h3>
7296

73-
<p>Having trouble with Pages? Check out the documentation at <a href="http://help.github.com/pages">http://help.github.com/pages</a> or contact <a href="mailto:support@github.com">support@github.com</a> and we’ll help you sort it out.</p>
97+
<p>The meetup held in <a href="http://en.wikipedia.org/wiki/Nagoya">Nagoya, Japan</a> monthly.</p>
7498
</section>
7599
<footer>
76100
<div class="fb-like-box" data-href="https://www.facebook.com/pages/Functional-Iot/429261740535822" data-colorscheme="light" data-show-faces="false" data-header="false" data-stream="false" data-show-border="true"></div>
77-
<a href="http://metasepi.org/"><img src="images/metasepi_logo_beta3_100x100.png" alt="Metasepi logo"></a>
78-
<p><small>Powered by <a href="http://metasepi.org/">Metasepi Project</a>.</small></p>
101+
<div><a href="http://metasepi.org/"><img src="images/metasepi_logo_beta3_100x100.png" alt="Metasepi logo"></a>
102+
<p><small>Powered by <a href="http://metasepi.org/">Metasepi Project</a>.</small></p></div>
79103
</footer>
80104
</div>
81105
<!--[if !IE]><script>fixScale(document);</script><![endif]-->

0 commit comments

Comments
 (0)