John David Pressman
a891c77d47
Add updated instructions for running/building the website
2019-08-02 16:52:23 -07:00
John David Pressman
8a2a1533c6
s/Annotations/Type Annotations/, to make it clearer what that feature is while skimming
2019-08-02 16:52:23 -07:00
John David Pressman
dc5e3328a2
Fix links to ligolang.org and Discord server at bottom of public launch post
2019-08-02 16:52:23 -07:00
John David Pressman
b023bff887
Add clarification on "dockerized LIGO" to taco shop tutorial
2019-08-02 16:52:23 -07:00
John David Pressman
5c7d9fd551
Fix broken link to tutorials on front page of ligolang site
2019-08-02 16:52:23 -07:00
John David Pressman
ece3873230
Add how to get the time to the operators page
2019-08-02 16:48:04 -07:00
John David Pressman
4ce51f7959
Add map assignment to cheat sheet
2019-08-02 16:48:04 -07:00
John David Pressman
afa0e749e3
Add boolean logic, fail() and if conditional to cheat sheet
2019-08-02 16:47:15 -07:00
Christian Rinderknecht
6c818567fa
Fixed comment.
2019-07-31 14:43:04 +02:00
Christian Rinderknecht
5bc43fa430
Changed the definition of the compound constructs so they use "option".
2019-07-31 10:45:19 +02:00
Christian Rinderknecht
50c99ff71d
I added more transformations.
2019-07-31 10:24:57 +02:00
Gabriel Alfour
80fd970ba4
Merge branch 'rinderknecht-dev' into 'dev'
...
Getting current front-ends closer
See merge request ligolang/ligo!56
2019-07-30 17:10:14 +00:00
Christian Rinderknecht
bf50102810
Fixed expressions annotated with types (they are now allowed everywhere).
2019-07-30 14:24:26 +02:00
Christian Rinderknecht
6a0948a6ac
Fixed regression. Enabled type annotations for all expressions
...
(between parentheses).
The error was to use COMMA to separate instructions in a block, instead of SEMI (semicolons), as before. This is corrected here.
2019-07-30 11:27:32 +02:00
Christian Rinderknecht
9e6bff4741
Renamings. Additions.
2019-07-29 12:33:02 +02:00
Christian Rinderknecht
25437f5ed5
Fixed some rules.
2019-07-29 12:31:10 +02:00
Christian Rinderknecht
100bf1119a
First rewrites of the PascaLIGO grammar to make it suitbale for stream
...
parsing.
2019-07-26 17:47:16 +02:00
Christian Rinderknecht
9b34b13e15
Replacing map_injection by injection(Map,binding).
2019-07-26 16:23:12 +02:00
Christian Rinderknecht
295f94a09a
Further streamlining PascaLIGO and Ligodity parsers.
2019-07-25 16:11:33 +02:00
Christian Rinderknecht
2a44e0f084
Merge branch 'dev' into 'rinderknecht-dev'
...
# Conflicts:
# src/contracts/website2.ligo
# src/simplify/pascaligo.ml
2019-07-25 10:33:07 +00:00
Christian Rinderknecht
fe2c56aedb
Miscellanea.
2019-07-24 15:43:51 +02:00
Christian Rinderknecht
dc4f14d469
Parsing the command line by calling [EvalOpt.read], not a side-effect.
2019-07-24 15:41:52 +02:00
Christian Rinderknecht
d2f4d00011
Refactored module EvalOpt by removing useless command line options.
2019-07-24 14:34:26 +02:00
Georges Dupéron
8675c85b9c
Merge branch 'FIX-typo-in-error-message-in-ast_simplified/combinator.ml' into 'dev'
...
FIX - typo in error message in ast_simplified/combinator.ml
See merge request ligolang/ligo!55
2019-07-24 09:35:22 +00:00
Pierre-Emmanuel Wulfman
7414893cd5
FIX - typo in error message in ast_simplified/combinator.ml
2019-07-24 09:35:22 +00:00
Gabriel Alfour
8a4d49fd21
Merge branch 'feature/better-error-messages' into 'dev'
...
Feature/better error messages
See merge request ligolang/ligo!54
2019-07-21 18:47:33 +00:00
galfour
88261fd5e2
Merge branch 'dev' into feature/better-error-messages
2019-07-21 11:58:09 +02:00
Gabriel Alfour
18f5601035
Merge branch 'feature/new-operators' into 'dev'
...
Feature/new operators
See merge request ligolang/ligo!53
2019-07-21 09:53:34 +00:00
galfour
d7a16c47c1
add iterators for maps
2019-07-20 16:42:34 +02:00
galfour
564a4df145
add map to lists ; fix error with lists
2019-07-20 16:18:50 +02:00
galfour
9dd8e63cbf
add iter for set and lists
2019-07-20 13:46:42 +02:00
galfour
33101820ec
add set tests
2019-07-19 14:35:47 +02:00
galfour
5c3d801c78
add bitwise arithmetic and string arithmetic tests
2019-07-19 12:42:01 +02:00
galfour
7b9d861a34
type new operators
2019-07-19 12:13:09 +02:00
galfour
4b6a58907d
get rid of useless units ; make compiler.ml less brittle
2019-07-18 15:19:25 +02:00
galfour
25566bc3fe
selection of environment can be done both ways
2019-07-18 13:04:13 +02:00
Christian Rinderknecht
685c25de9a
First import of my first designs for a front-end generator for Ligodity.
2019-07-14 16:41:52 +02:00
galfour
68014c6e95
add blog post about update
2019-07-11 15:20:58 +02:00
Galfour
6e3209fa4f
add manual tests; change display of errors; minor refactorings
2019-06-28 12:05:04 +00:00
Christian Rinderknecht
6d3679290d
Fixed typo in comment.
2019-06-27 10:32:07 +02:00
Matej Šima
86396933a2
Merge branch 'feature/pascaligo-pattern-parens' into 'dev'
...
Add parentheses in Pascaligo constructor patterns
See merge request ligolang/ligo!48
2019-06-24 17:26:56 +00:00
Tom Jack
7492657790
Update Pascaligo parentheses in docs
2019-06-24 08:42:06 -07:00
Christian Rinderknecht
2f6e17c837
I fixed the heterogeneity in parentheses around constructors in
...
patterns.
2019-06-24 08:42:06 -07:00
Georges Dupéron
4492117589
Merge branch 'bugfix/odoc-url' into 'dev'
...
Fixed link to /odoc
See merge request ligolang/ligo!47
2019-06-22 16:21:49 +00:00
Georges Dupéron
cba9c00ee5
Fixed link to /odoc
2019-06-22 17:41:45 +02:00
Matej Sima
5f49d20fbb
FIx missing images from payouts tutorial
2019-06-21 17:20:49 +02:00
Matej Šima
01fe9669e4
Merge branch 'feature/tutorial-taco-shop-payouts' into 'dev'
...
Add a tutorial for taco shop payouts
See merge request ligolang/ligo!44
2019-06-21 13:19:46 +00:00
Matej Šima
a5f9a6d27c
Merge branch 'feature/hide-installation-from-master-for-now' into 'dev'
...
Hide installation from master in the docs until we have a stable release
See merge request ligolang/ligo!42
2019-06-21 12:47:14 +00:00
Matej Šima
34c84f5bed
Merge branch 'feature/website-fixes' into 'dev'
...
Small fixes to the doc and to the odoc build script
See merge request ligolang/ligo!43
2019-06-21 12:46:54 +00:00
Matej Sima
b5087298f7
Add a tutorial for taco shop payouts
2019-06-21 14:45:52 +02:00
