From 2f07ac785f1f61b3f5b51a4d4476627108d93831 Mon Sep 17 00:00:00 2001 From: Araq Date: Wed, 18 Nov 2015 13:32:29 +0100 Subject: [PATCH] website updated --- tools/website.tmpl | 25 ++----------------------- web/documentation.txt | 17 ++++++++++------- 2 files changed, 12 insertions(+), 30 deletions(-) diff --git a/tools/website.tmpl b/tools/website.tmpl index 1f882510c..d2fcb0afd 100644 --- a/tools/website.tmpl +++ b/tools/website.tmpl @@ -49,26 +49,7 @@ # if currentTab == "index":
-
- - First Nim workshop in Ukraine! - -
-
-

Why should I be excited?

- Nim is the only language that leverages automated proof technology to perform a disjoint check for your parallel code. Working on disjoint data means no locking is required and yet data races are impossible:

-
-parallel:
-  var i = 0
-  while i <= a.high:
-    spawn f(a[i])
-    spawn f(a[i+1])
-    # ERROR: cannot prove a[i] is disjoint from a[i+1]
-    # BUT: replace 'i += 1' with 'i += 2' and the code compiles!
-    i += 1
-
-
-
+

Nim is simple..

@@ -102,7 +83,7 @@ p.greet() # or greet(p)
 
-
+

C FFI is easy in Nim..

@@ -138,8 +119,6 @@ runForever()
         
-
-
# end