Updating: minor update

README.md

@@ -1,11 +1,11 @@
-# ATS Blockchain
+# Report
 
 [![Build Status](https://travis-ci.org/galletti94/ATS-blockchain.svg?branch=master)](https://travis-ci.org/galletti94/ATS-blockchain)
 [![License](https://img.shields.io/badge/License-BSD%203--Clause-blue.svg)](https://opensource.org/licenses/BSD-3-Clause)
 
-Blockchain and Smart Contract implementation in ATS
+Blockchain, Smart Contract, and Database implementation in ATS
 
-![example](gif/gif1.gif)
+![example](gif/tty.gif)
 
 ## About
 
@@ -14,11 +14,12 @@ The CLI is currently to be used in the following way:
 1. define miners/users
 2. make transactions (valid or otherwise)
 3. write/execute smart contract
-4. decide who will mine the next block
-5. view the balance of users
-6. view the blockchain and/or repeat from 1/2
+4. write/execute queries
+5. decide who will mine the next block
+6. view the balance of users
+7. view the blockchain and/or repeat from 1/2
 
-For more information, please read the following [article](https://beta.observablehq.com/@galletti94/functional-blockchain).
+The full report is online. Part 1 is [here](https://beta.observablehq.com/@galletti94/functional-blockchain) and part 2 is [here](https://beta.observablehq.com/@galletti94/functional-blockchain-part-2).
 
 ## Running the application
 
@@ -28,20 +29,3 @@ After installing [ATS](http://www.ats-lang.org/), simply run
 git clone https://github.com/ashalkhakov/colorado.git  
 make regress
 ```
-
-## TODO for next release
-
-- [x] add gas / cost to contracts
-- [ ] let user / miner execute contracts
-- [ ] refine using dependent types
-- [ ] enhance lambda lang to include transactions
-
-## TODO for future
-
-- [ ] make blockchain distributed
-- [ ] enhance lambda lang to be not lisp-like
-- [ ] enhance lambda lang to be typed
-
-------------
-
-If you liked this and want to buy me coffee, feel free to donate BTC at 3QRRJu7ZHpegrBUMPmJw4pvcexH7qjvdyn or ETH at 0x13792d38f5E89bc0dE64Ccb9005A86B3574CB3f5. Thanks!