1. Overview
  2. Docs
Archetype language compiler

Install

github.com Readme MIT License Edit opam file

Authors

  1. B
    Benoit Rognier <benoit.rognier@edukera.com>
  2. G
    Guillaume Duhamel <guillaume.duhamel@edukera.com>
  3. P
    Pierre-Yves Strub <pierre-yves.strub@polytechnique.edu>

Maintainers

  1. T
    The Archetype development team <archetype-dev@edukera.com>

Sources

0.1.3.tar.gz
md5=d2596cc4bc873ab8eca49d753c31a348
sha512=0cfe9d1948b7baaf632f75f4bd783df5cfe9d5db57fef698d80ddef02d46c1912a0b73ac8ee06616dbe831f9ff3e4d4af26f78b4378dd466f2d7751634c2d6e5

Description

Archetype is a domain-specific language (DSL) to develop smart contracts on the Tezos blockchain, with a specific focus on contract security

Published: 21 Sep 2019

Dependencies (9)

  1. ppx_deriving_yojson
  2. ppx_deriving
  3. yojson
  4. why3 >= "1.2.0" & < "1.3.0"
  5. digestif >= "0.7.2"
  6. uri
  7. menhir
  8. dune >= "1.10.0"
  9. ocaml >= "4.07.0"

Dev Dependencies

    None

Used by

    None

Conflicts (1)

  1. digestif = "0.7.4"