package archetype

  1. Overview
  2. Docs
Archetype language compiler

Install

Dune Dependency

Authors

Maintainers

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

README

Archetype language

Archetype language is a DSL (Domain Specific Language) to describe blockchain business processes.

Online documentation

Dependencies (9)

  1. ppx_deriving_yojson
  2. ppx_deriving < "6"
  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"
OCaml

Innovation. Community. Security.