diff --git a/.gitignore b/.gitignore index 9053b2cbf..102e97e8c 100644 --- a/.gitignore +++ b/.gitignore @@ -5,5 +5,10 @@ dune-project cache/* Version.ml /_opam/ +<<<<<<< HEAD /*.pp.ligo -**/.DS_Store \ No newline at end of file +<<<<<<< HEAD +**/.DS_Store +======= +**/.DS_Store +>>>>>>> [LIGO-93] redesign profile pics diff --git a/gitlab-pages/.gitignore b/gitlab-pages/.gitignore index 7dbdd7e15..66c160e49 100644 --- a/gitlab-pages/.gitignore +++ b/gitlab-pages/.gitignore @@ -1,4 +1,5 @@ **/.DS_Store +.DS_Store node_modules diff --git a/gitlab-pages/website/pages/en/index.js b/gitlab-pages/website/pages/en/index.js index 8c9cac7de..c4598ed80 100644 --- a/gitlab-pages/website/pages/en/index.js +++ b/gitlab-pages/website/pages/en/index.js @@ -106,25 +106,109 @@ class HomeSplash extends React.Component { const langPart = `${language ? `${language}/` : ""}`; const docUrl = doc => `${baseUrl}${docsPart}${langPart}${doc}`; - const SampleCode = props => ( -
+
+ // variant defining pseudo multi-entrypoint actions
+
+ type action is
+
| Increment of int
+
| Decrement of int
+
+
+ function add (const a : int ; const b : int) : int is
+
block {"{ skip }"} with a + b
+
+ function subtract (const a : int ; const b : int) :
+ int is
+
block {"{ skip }"} with a - b
+
+ // real entrypoint that re-routes the flow based on
+ the action provided
+
+ function main (const p : action ; const s : int) :
+ (list(operation) * int) is
+
block {"{ skip }"} with ((nil :
+ list(operation)),
+
case p of
+
| Increment(n) -> add(s, n)
+
| Decrement(n) -> subtract(s, n)
+
end)
+
+
+
+
+
+
+ type storage = int
+
+ (* variant defining pseudo multi-entrypoint actions *){" "}
+
+
+ type action =
| Increment of int
+
| Decrement of int
+
+
+ let add (a: int) (b: int) : int = a + b
+
+ let subtract (a: int) (b: int) : int = a - b
+
+ (* real entrypoint that re-routes the flow based on the
+ action provided *)
+
+
+ let%entry main (p : action) storage =
let storage
+ =
match p with
+
| Increment n -> add storage n
| Decrement
+ n -> subtract storage n
in (([] : operation list),
+ storage)
+
+
+
+ {siteConfig.taglineSub}
-