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