Kirill Andreev d2a020434e

Fix contract

2020-08-24 20:22:46 +04:00

..

bin

fix expect test

2020-07-04 23:16:54 -05:00

environment

review 1

2020-05-28 10:53:54 +02:00

main

Merge branch 'feature/initial_req_serokell' into 'dev'

2020-07-03 11:57:53 +00:00

passes

Beta-reduce "inserted" Michelson lambdas

2020-07-04 16:36:27 -05:00

stages

Merge branch 'feature/initial_req_serokell' into 'dev'

2020-07-03 11:57:53 +00:00

test

Fix contract

2020-08-24 20:22:46 +04:00

.gitignore

Added tests to build, fixed some unused variables.

2019-05-15 15:17:04 +02:00

dune

Shared more code in ParserUnit.ml

2020-04-03 19:08:14 +02:00

ligo.ml

Move into src/; add vendors/ subfolder, add CI script.

2019-05-14 17:53:44 +02:00