Developer tools for the Michelson Language

Name
Last commit
Last update
.gitlab/merge_request_templates Loading commit data...
LICENSES Loading commit data...
app Loading commit data...
contracts Loading commit data...
docs Loading commit data...
examples/EDSL Loading commit data...
hpack Loading commit data...
indigo Loading commit data...
lorentz-contracts Loading commit data...
make Loading commit data...
prelude Loading commit data...
scripts Loading commit data...
src Loading commit data...
test Loading commit data...
.crossref-verifier.yaml Loading commit data...
.dockerignore Loading commit data...
.editorconfig Loading commit data...
.gitignore Loading commit data...
.gitlab-ci.yml Loading commit data...
.hlint-universum.yaml Loading commit data...
.hlint.yaml Loading commit data...
.stylish-haskell.yaml Loading commit data...
.weeder.yaml Loading commit data...
CHANGES.md Loading commit data...
CONTRIBUTING.md Loading commit data...
Dockerfile Loading commit data...
LICENSE Loading commit data...
Makefile Loading commit data...
README.md Loading commit data...
Setup.hs Loading commit data...
package.yaml Loading commit data...
shell.nix Loading commit data...
stack.yaml Loading commit data...
test.bats Loading commit data...
test.tz Loading commit data...