Permalink
Browse files

Blur

  • Loading branch information...
1 parent 43f6f1e commit 18f47a5afe9a339217a3998761b455ffd606b795 @serras committed Mar 4, 2012
Showing with 24 additions and 10 deletions.
  1. BIN img/grid-18px-masked.png
  2. +24 −10 index.html
View
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
View
@@ -4,25 +4,39 @@
---
<div class="marketing">
- <h1>4 languages</h1>
- <p class="marketing-byline">Learn four different functional lazy languages at once.</p>
+ <h1>4languages</h1>
+ <p class="marketing-byline">Learn four different functional lazy languages at once</p>
+
+ <div class="row">
+ <div class="span6">
+ <div class="page-header">
+ <h2>Hindley-Milner typing</h2>
+ </div>
+ </div>
+ <div class="span6">
+ <div class="page-header">
+ <h2>Dependent typing</h2>
+ </div>
+ </div>
+ </div>
+ </div>
<div class="row">
<div class="span3">
- <h3>HTML5</h3>
- <p>Built to support new HTML5 elements and syntax.</p>
+ <h3><a href="http://www.haskell.org/">Haskell</a></h3>
+ <p>The flagship of purely, lazy, functional programming. Known throughout the world for its use of monads and do notation.</p>
</div>
<div class="span3">
- <h3>CSS3</h3>
- <p>Progressively enhanced components for ultimate style.</p>
+ <h3><a href="http://wiki.clean.cs.ru.nl/Clean">Clean</a></h3>
+ <p>Offers an uniqueness typing system for resource management.</p>
</div>
<div class="span3">
- <h3>Open-source</h3>
- <p>Built for and maintained by the community via <a href="https://github.com">GitHub</a>.</p>
+ <h3><a href="http://wiki.portal.chalmers.se/agda/pmwiki.php">Agda</a></h3>
+ <p>Developed in Gothenburg, Agda provides dependently-typed programming along with an interesting module system, instance arguments and more.</p>
</div>
<div class="span3">
- <h3>Made at Twitter</h3>
- <p>Brought to you by an experienced <a href="http://twitter.com/fat">engineer</a> and <a href="http://twitter.com/mdo">designer</a>.</p>
+ <h3><a href="http://idris-lang.org/">Idris</a></h3>
+ <p>Focused on the integration of domain-specific languages.</p>
</div>
</div><!--/row-->
</div>

0 comments on commit 18f47a5

Please sign in to comment.