balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
Nix packaging for https://gitlab.com/ligolang/ligo
6 Commits 2 Branches 0 Tags 65 MiB
OCaml 84.6%
TypeScript 7.1%
JavaScript 4%
CSS 1.4%
Shell 0.8%
Other 2%
30cf888734
Go to file
Your Name 30cf888734 Started work on the typechecker.
2019-03-01 18:54:41 +01:00
Tests initial commit 2019-02-25 21:29:29 +00:00
.gitignore Hack to get propper dune dependencies for Version.ml 2019-03-01 17:59:58 +01:00
.Lexer.ml.tag initial commit 2019-02-25 21:29:29 +00:00
.LexerMain.tag initial commit 2019-02-25 21:29:29 +00:00
.links initial commit 2019-02-25 21:29:29 +00:00
.Parser.mly.tag initial commit 2019-02-25 21:29:29 +00:00
.ParserMain.tag initial commit 2019-02-25 21:29:29 +00:00
AST.ml initial commit 2019-02-25 21:29:29 +00:00
AST.mli initial commit 2019-02-25 21:29:29 +00:00
dune Propper dependency on .git/HEAD and .git/refs/heads/the_current_branch to regenerate Version.ml. Will not update correctly if a git worktree or its main .git are moved, in these cases use dune clean. 2019-03-01 18:49:25 +01:00
dune-project initial commit 2019-02-25 21:29:29 +00:00
Error.mli initial commit 2019-02-25 21:29:29 +00:00
EvalOpt.ml initial commit 2019-02-25 21:29:29 +00:00
EvalOpt.mli initial commit 2019-02-25 21:29:29 +00:00
FQueue.ml initial commit 2019-02-25 21:29:29 +00:00
FQueue.mli initial commit 2019-02-25 21:29:29 +00:00
Lexer.mli initial commit 2019-02-25 21:29:29 +00:00
Lexer.mll initial commit 2019-02-25 21:29:29 +00:00
LexerMain.ml initial commit 2019-02-25 21:29:29 +00:00
LexToken.mli initial commit 2019-02-25 21:29:29 +00:00
LexToken.mll initial commit 2019-02-25 21:29:29 +00:00
ligo-parser.opam initial commit 2019-02-25 21:29:29 +00:00
Markup.ml initial commit 2019-02-25 21:29:29 +00:00
Markup.mli initial commit 2019-02-25 21:29:29 +00:00
MBytes.ml initial commit 2019-02-25 21:29:29 +00:00
MBytes.mli initial commit 2019-02-25 21:29:29 +00:00
Parser.exe added a comment to the dune file 2019-02-25 21:34:32 +00:00
Parser.mly initial commit 2019-02-25 21:29:29 +00:00
ParserMain.ml initial commit 2019-02-25 21:29:29 +00:00
ParToken.mly initial commit 2019-02-25 21:29:29 +00:00
Pos.ml initial commit 2019-02-25 21:29:29 +00:00
Pos.mli initial commit 2019-02-25 21:29:29 +00:00
Region.ml initial commit 2019-02-25 21:29:29 +00:00
Region.mli initial commit 2019-02-25 21:29:29 +00:00
typecheck.ml Started work on the typechecker. 2019-03-01 18:54:41 +01:00
Utils.ml initial commit 2019-02-25 21:29:29 +00:00
Utils.mli initial commit 2019-02-25 21:29:29 +00:00