caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
To: Viet Le <vietlq85@gmail.com>
Cc: Van Chan Ngo <chan.ngo2203@gmail.com>,
	OCaml Mailing List <caml-list@inria.fr>
Subject: Re: [Caml-list] Blockchains in OCaml
Date: Wed, 27 Dec 2017 22:09:24 +0000	[thread overview]
Message-ID: <CAHvkLrNaoTCfc11_hFZ+eCKooz9cP=+V4KH8fO-ARN0oqj-ByQ@mail.gmail.com> (raw)
In-Reply-To: <CAG_8+G6veHHnDBkqGg2GGxTWoMBSH8P1Oo0=ECO_9SP1Q5qxQw@mail.gmail.com>

[-- Attachment #1: Type: text/plain, Size: 529 bytes --]

On Mon, Dec 25, 2017 at 2:28 PM Viet Le <vietlq85@gmail.com> wrote:

> There aren't many materials / blockchain implementations in OCaml but I
> found some interesting links:
> [...]
> http://www.liquidity-lang.org/
> [...]
>

OCamlPro is doing a lot of work on blockchains these days. There is indeed
Liquidity, a smart-contract language for Tezos that we already released on
Github. We are also developing some tooling around Ethereum, we will
probably release some parts as libraries, when they become mature enough.

Fabrice

[-- Attachment #2: Type: text/html, Size: 961 bytes --]

      parent reply	other threads:[~2017-12-27 22:09 UTC|newest]

Thread overview: 6+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2016-10-06  3:59 Arthur Breitman
2016-10-10 14:00 ` Van Chan Ngo
2017-12-25 13:28   ` Viet Le
2017-12-26 14:03     ` Van Chan Ngo
2017-12-27 15:41       ` Viet Le
2017-12-27 22:09     ` Fabrice Le Fessant [this message]

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to='CAHvkLrNaoTCfc11_hFZ+eCKooz9cP=+V4KH8fO-ARN0oqj-ByQ@mail.gmail.com' \
    --to=fabrice.le_fessant@ocamlpro.com \
    --cc=caml-list@inria.fr \
    --cc=chan.ngo2203@gmail.com \
    --cc=vietlq85@gmail.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).