From 51828fe4992932a3d75467f8d5019b391e24c010 Mon Sep 17 00:00:00 2001 From: Gerald Bauer Date: Sat, 4 May 2019 21:54:37 +0200 Subject: [PATCH] fix turing --- fabcar.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/fabcar.md b/fabcar.md index 32b4dea..d70de9b 100644 --- a/fabcar.md +++ b/fabcar.md @@ -307,13 +307,13 @@ that runs with "classic" ruby or mruby "out-of-the-box". New Languages -1) Turning Incomplete (No loops, No Jumps, etc.) +1) Turing Incomplete (No loops, No Jumps, etc.) - Bitcoin (Genesis!) ⇒ **(Bitcoin) Script** - Forth-like contract scripts run on stack machine - Bitcoin Elements (Side-Chain) ⇒ **Simplicity** - "Next Generation" (Bitcoin) Script - "type-safe" (functional) Haskell-like "bitmachine" -2) Turning Complete +2) Turing Complete - Ethereum & Friends ⇒ **Solidity** - JavaScript-like contract scripts run on Ethereum Virtual stack-Machine (EVM) - Tezos ⇒ **Liquidity** - OCaml-like (or ReasonML-like) contract scripts run on "Michelson" "type-safe" (functional) stack machine