Skip to content

Commit

Permalink
fix turing
Browse files Browse the repository at this point in the history
  • Loading branch information
geraldb authored May 4, 2019
1 parent de082fc commit 51828fe
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions fabcar.md
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down

0 comments on commit 51828fe

Please sign in to comment.