diff --git a/gitlab-pages/website/pages/en/index.js b/gitlab-pages/website/pages/en/index.js index 51f827e80..ebbbbc247 100644 --- a/gitlab-pages/website/pages/en/index.js +++ b/gitlab-pages/website/pages/en/index.js @@ -46,6 +46,34 @@ hljs.registerLanguage('pascaligo', pascaligo); const pre = "```"; +const pascaligoExampleSmall = `${pre}pascaligo +// 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) +${pre}`; + const pascaligoExample = `${pre}pascaligo // variant defining pseudo multi-entrypoint actions type action is @@ -68,6 +96,28 @@ function main (const p : action ; const s : int) : | Decrement(n) -> subtract(s, n) end) ${pre}`; +const cameligoExampleSmall = `${pre}ocaml +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) +${pre}`; const cameligoExample = `${pre}ocaml type storage = int @@ -94,10 +144,11 @@ ${pre}`; const PascalLIGOTab = () => (
{siteConfig.taglineSub}