Commit df88ea90 authored by Sarah Fowler's avatar Sarah Fowler

Update links (first pass)

parent c81e31d6
Pipeline #100691165 passed with stage
......@@ -10,7 +10,7 @@ created: 2019-04-12
## What is a TZIP?
Response copied from [TZIP-1](/TZIP-1.md#what-is-a-tzip):
Response copied from [TZIP-1](/Proposals/TZIP-0001/TZIP-0001.md#what-is-a-tzip):
An TZIP is a design document providing information to the Tezos community,
describing a feature for Tezos or its processes or environment, and supporting
......@@ -35,8 +35,8 @@ that a formal standards process is the best way to do this.
## Wouldn't it be simpler to just write the application standards first?
We are developing the application standards
[A1: Michelson Contract Interfaces and Conventions](/A/A1.md),
[FA1: Unsafe Ledger](/A/FA1.md) at the same time as the Meta-level TZIPs.
[A1: Michelson Contract Interfaces and Conventions](/Proposals/TZIP-0004/A1.md),
[FA1: Unsafe Ledger](/Proposals/TZIP-0005/FA1.md) at the same time as the Meta-level TZIPs.
This is a lot more work, but we think it's a fairer and more fruitful
alternative to just unilaterally promulgating our own standards.
......
......@@ -6,9 +6,9 @@ created: 2019-07-17
## Summary
This document describes an implementation of [FA1 interface](/A/FA1.md).
This document describes an implementation of [FA1 interface](/Proposals/TZIP-0005/FA1.md).
Michelson code of resulting contract can be found [here](AbstractLedger.tz).
Michelson code of resulting contract can be found [here](/Proposals/TZIP-0005/AbstractLedger.tz).
## Unsafe Ledger Parameter
......@@ -20,7 +20,7 @@ parameter
);
```
See also [syntax explanation](https://gitlab.com/tzip/tzip/blob/master/A/A1.md#adt-syntax-sugar) and [Michelson Contract Interfaces and Conventions Document](https://gitlab.com/tzip/tzip/blob/master/A/A1.md#view-entrypoints).
See also [syntax explanation](/Proposals/TZIP-0004/A1.md#adt-syntax-sugar) and [Michelson Contract Interfaces and Conventions Document](/Proposals/TZIP-0004/A1.md#view-entrypoints).
## Unsafe Ledger Storage
......@@ -40,7 +40,7 @@ the sum of balances must be reflected by a corresponding changing the `nat
This contract has been written in Lorentz eDSL - a [language over Haskell](https://hackage.haskell.org/package/morley-0.3.0.1) which provides some extensions to basic Michelson and generally improves development experience.
The contract code can be found
[here](https://gitlab.com/morley-framework/morley/blob/ce28076a79b93d48aa7745271e6a1395b8b9e50d/lorentz-contracts/src/Lorentz/Contracts/AbstractLedger.hs), resulting Michelson code resides [here](AbstractLedger.tz).
[here](https://gitlab.com/morley-framework/morley/blob/ce28076a79b93d48aa7745271e6a1395b8b9e50d/lorentz-contracts/src/Lorentz/Contracts/AbstractLedger.hs), resulting Michelson code resides [here](/Proposals/TZIP-0005/AbstractLedger.tz).
### Compiling Lorentz contract
......
......@@ -39,7 +39,7 @@ For FA1, parameter should contain the following leaves:
3. `view (address :owner) nat %getBalance`
2. `view unit nat %getTotalSupply`
See also [syntax explanation](https://gitlab.com/tzip/tzip/blob/master/A/A1.md#adt-syntax-sugar) and [Michelson Contract Interfaces and Conventions Document](https://gitlab.com/tzip/tzip/blob/master/A/A1.md#view-entrypoints).
See also [syntax explanation](/Proposals/TZIP-0004/A1.md#adt-syntax-sugar) and [Michelson Contract Interfaces and Conventions Document](/Proposals/TZIP-0004/A1.md#view-entrypoints).
## Errors
......
......@@ -11,7 +11,7 @@ created: 2019-05-04
This standard extends `TZIP-A1` by defining a right-hand balance tree structure
for `or` and `pair` types. Structure of comb defined in
[TZIP-A1](A1.md#entrypoints) is the most obvious one, but the worst-case
[TZIP-A1](/Proposals/TZIP-0004/A1.md#entrypoints) is the most obvious one, but the worst-case
performance of operations on it scales linearly with number of elements
in the comb which is suboptimal. Whereas tree structure allows reaching better
average performance of access and update operations.
......@@ -58,7 +58,7 @@ If we insert a new node `f` into the above tree:
## ADT Syntax sugar
The [`Pair`s and `Or`s syntax sugar](A1.md#pairs-and-ors-syntax-sugar) is
The [`Pair`s and `Or`s syntax sugar](/Proposals/TZIP-0004/A1.md#pairs-and-ors-syntax-sugar) is
extended to work for tuples and unions of arbitrary size:
```
......
......@@ -27,8 +27,8 @@ A contract which implements approvable ledger must have the following entrypoint
This standard specifies additional authorization checks for `%transfer` entrypoint, as explicitly allowed by FA1.
See also:
* [Syntax sugar explanation](./A1.md#pairs-and-ors-syntax-sugar).
* [Explanation of `view`](./A1.md#view-entrypoints).
* [Syntax sugar explanation](/Proposals/TZIP-0004/A1.md#pairs-and-ors-syntax-sugar).
* [Explanation of `view`](/Proposals/TZIP-0004/A1.md#view-entrypoints).
## Errors
......
......@@ -6,10 +6,10 @@ created: 2019-06-24
## Summary
This document describes a smart contract that implements [FA1.2 interface](/A/FA1.2.md).
This document describes a smart contract that implements [FA1.2 interface](/Proposals/TZIP-0007/FA1.2.md).
The contract also maintains an entity called _administrator_ which has an exclusive right to perform management operations like `Mint` and `Pause`.
The contract compiled to Michelson is provided in [ManagedLedger.tz](/assets/FA1.2/ManagedLedger.tz).
The contract compiled to Michelson is provided in [ManagedLedger.tz](/Proposals/TZIP-0007/ManagedLedger.tz).
## Managed Ledger interface
......@@ -21,8 +21,8 @@ The contract compiled to Michelson is provided in [ManagedLedger.tz](/assets/FA1
* `(address :from, nat :value) %burn`
See also:
* [Syntax sugar explanation](/A/A1.md#pairs-and-ors-syntax-sugar).
* [Explanation of `view`](/A/A1.md#view-entrypoints).
* [Syntax sugar explanation](/Proposals/TZIP-0004/A1.md#pairs-and-ors-syntax-sugar).
* [Explanation of `view`](/Proposals/TZIP-0004/A1.md#view-entrypoints).
## Deployment
......@@ -33,7 +33,7 @@ Here `MANAGER_ADDR` is the address of the manager, `False` means that operations
## Errors
The contract follows exactly the same format for errors as described in
[FA1](/A/FA1.md#errors).
[FA1](/Proposals/TZIP-0005/FA1.md#errors).
For example, if an entrypoint is stated to fail with `SenderIsNotAdmin` error,
then a client should expect contract to fail with `("SenderIsNotAdmin", Unit)` pair.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment