Skip to content
This repository has been archived by the owner on Jun 23, 2021. It is now read-only.

Commit

Permalink
fix
Browse files Browse the repository at this point in the history
  • Loading branch information
robcohen committed Jul 10, 2020
1 parent 9532b15 commit d87b1ad
Show file tree
Hide file tree
Showing 2 changed files with 14 additions and 14 deletions.
15 changes: 12 additions & 3 deletions README.rst
@@ -1,5 +1,14 @@
#####################
=====================
Cardano Documentation
#####################
=====================

This repo contains the build system (Sphinx) used to generate Cardano Documentation.
.. note::
Please note, all new documentation is currently hosted in this temporary site design. A new site UI with the refreshed Cardano brand look and feel is in the final stages of production and will be deployed here very soon.

Cardano is a decentralized third-generation proof-of-stake blockchain platform and home to the ada cryptocurrency. It is the first blockchain platform to evolve out of a scientific philosophy and a research-first driven approach.

The Cardano platform has been designed from the ground up and verified by an industry-leading combination of leading engineers and academic experts in the fields of blockchain and cryptography. It has a strong focus on sustainability, scalability, and transparency. It is a fully open source project that aims to deliver an inclusive, fair, and resilient infrastructure for financial and social applications on a global scale. One of its primary goals is to bring reliable, secure financial services to those people who do not currently have access.

Cardano has been designed with security as one of its founding principles. It is written in Haskell, a functional programming language. In a functional language like Haskell, building your system using pure functions is encouraged, which leads to a design where components are conveniently testable in isolation. Furthermore, advanced features of Haskell enable us to employ a whole range of powerful methods for ensuring correctness of the code, such as basing the implementation on formal and executable specifications, extensive property-based testing, and running tests in simulation.

Cardano is developing a smart contract platform which seeks to deliver more advanced features than any protocol previously developed and will serve as a stable and secure platform for the development of enterprise-level dApps. In the near future, Cardano will use a democratic governance system that allows the project to evolve over time, and fund itself in a sustainable way through a visionary treasury system. You can read more about Cardano on the `official Cardano website <http://cardano.org/>`_.
13 changes: 2 additions & 11 deletions index.rst
Expand Up @@ -2,17 +2,8 @@
Cardano Documentation
=====================

.. note::
Please note, all new documentation is currently hosted in this temporary site design. A new site UI with the refreshed Cardano brand look and feel is in the final stages of production and will be deployed here very soon.

Cardano is a decentralized third-generation proof-of-stake blockchain platform and home to the ada cryptocurrency. It is the first blockchain platform to evolve out of a scientific philosophy and a research-first driven approach.

The Cardano platform has been designed from the ground up and verified by an industry-leading combination of leading engineers and academic experts in the fields of blockchain and cryptography. It has a strong focus on sustainability, scalability, and transparency. It is a fully open source project that aims to deliver an inclusive, fair, and resilient infrastructure for financial and social applications on a global scale. One of its primary goals is to bring reliable, secure financial services to those people who do not currently have access.

Cardano has been designed with security as one of its founding principles. It is written in Haskell, a functional programming language. In a functional language like Haskell, building your system using pure functions is encouraged, which leads to a design where components are conveniently testable in isolation. Furthermore, advanced features of Haskell enable us to employ a whole range of powerful methods for ensuring correctness of the code, such as basing the implementation on formal and executable specifications, extensive property-based testing, and running tests in simulation.

Cardano is developing a smart contract platform which seeks to deliver more advanced features than any protocol previously developed and will serve as a stable and secure platform for the development of enterprise-level dApps. In the near future, Cardano will use a democratic governance system that allows the project to evolve over time, and fund itself in a sustainable way through a visionary treasury system. You can read more about Cardano on the `official Cardano website <http://cardano.org/>`_.

.. include:: README.rst

.. toctree::
:maxdepth: 3
:caption: Getting Started
Expand Down

0 comments on commit d87b1ad

Please sign in to comment.