balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Cleanup redundant files

Browse Source
This commit is contained in:
Matej Sima 2019-06-03 11:12:05 +02:00
parent 51e231d71b
commit 30e55b4a12
5 changed files with 0 additions and 265 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

67
gitlab-pages/counter.pp.ligo
View File

@ -1,67 +0,0 @@
# 1 "examples/counter.ligo"
# 1 "<built-in>"
# 1 "<command-line>"
# 31 "<command-line>"
# 1 "/usr/include/stdc-predef.h" 1 3 4
# 17 "/usr/include/stdc-predef.h" 3 4
# 32 "<command-line>" 2
# 1 "examples/counter.ligo"
type action is
| Increment of int
| Decrement of int
const coeficient : int = 2;
function main (const p : action ; const s : int) : (list(operation) * int) is
block {skip} with ((nil : list(operation)),
case p of
| Increment n -> s + n
| Decrement n -> s - n
end)

65
gitlab-pages/functions.pp.ligo
View File

@ -1,65 +0,0 @@
# 1 "examples/functions.ligo"
# 1 "<built-in>"
# 1 "<command-line>"
# 31 "<command-line>"
# 1 "/usr/include/stdc-predef.h" 1 3 4
# 17 "/usr/include/stdc-predef.h" 3 4
# 32 "<command-line>" 2
# 1 "examples/functions.ligo"
function multiply (const a : int ; const b : int) : int is
begin
const result : int = a * b ;
end with result
function add (const a : int ; const b : int) : int is
block { skip } with a + b
function main (const p : unit ; const s : unit) : (list(operation) * unit) is
block {skip} with ((nil : list(operation)), s)

2
gitlab-pages/ligo-docker.sh
View File

@ -1,2 +0,0 @@
#!/bin/bash
docker run -v $PWD:$PWD -w $PWD stovelabs/granary-ligo $@

71
gitlab-pages/multiple-entrypoints.pp.ligo
View File

@ -1,71 +0,0 @@
# 1 "examples/multiple-entrypoints.ligo"
# 1 "<built-in>"
# 1 "<command-line>"
# 31 "<command-line>"
# 1 "/usr/include/stdc-predef.h" 1 3 4
# 17 "/usr/include/stdc-predef.h" 3 4
# 32 "<command-line>" 2
# 1 "examples/multiple-entrypoints.ligo"
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
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)

60
gitlab-pages/variables.pp.ligo
View File

@ -1,60 +0,0 @@
# 1 "examples/variables.ligo"
# 1 "<built-in>"
# 1 "<command-line>"
# 31 "<command-line>"
# 1 "/usr/include/stdc-predef.h" 1 3 4
# 17 "/usr/include/stdc-predef.h" 3 4
# 32 "<command-line>" 2
# 1 "examples/variables.ligo"
const four : int = 4;
const name : string = "John Doe";
function main (const p : unit ; const s : int) : (list(operation) * int) is
block {skip} with ((nil : list(operation)), s)