From 1c6ebc94df85dd0b860c53e3b90ab47021d64d6d Mon Sep 17 00:00:00 2001 From: Victor Maia Date: Sat, 29 Jun 2019 18:50:43 -0300 Subject: [PATCH] Update links --- Bounded-Loops-and-Recursion.md | 2 +- Datatypes.md | 2 +- Dups-and-Boxes.md | 2 +- Hello,-world!.md | 2 +- Home.md | 2 +- If-and-Cpy.md | 2 +- Installation.md | 4 ++-- Lambdas-and-Affinity.md | 2 +- Lets-and-Defs.md | 2 +- Numbers-and-Operators.md | 2 +- Pairs.md | 2 +- Undefined-Behavior.md | 2 +- [pt-br]-0.-Instalação.md | 2 +- [pt-br]-1.-Hello,-World!.md | 2 +- [pt-br]-2.-Números-e-operadores.md | 2 +- [pt-br]-4.-Lets-e-Defs.md | 2 +- _Footer.md | 2 +- 17 files changed, 18 insertions(+), 18 deletions(-) diff --git a/Bounded-Loops-and-Recursion.md b/Bounded-Loops-and-Recursion.md index b9631fe..26fec8a 100644 --- a/Bounded-Loops-and-Recursion.md +++ b/Bounded-Loops-and-Recursion.md @@ -61,4 +61,4 @@ def main: Here, `Node` and `Leaf` are Scott-Encoded constructors, and `FNode` and `FLeaf` are Church-Encoded constructors, as defined on the last section. Notice how `tree_fold` needed to know the size of the input tree (`7`). This is because the Church-Encoded Nat `7` is used to unroll `func` up to a depth of `7`, essentially emulating a recursive function with a bounded number of iterations. With this technique, arbitrary recursive functions can be defined, as long as you put a "gas limit" on how much work they can perform. -[< Datatypes](https://github.com/moonad/Formality-JavaScript/wiki/Datatypes) | [Undefined Behaviour >](https://github.com/moonad/Formality-JavaScript/wiki/Undefined-Behavior) \ No newline at end of file +[< Datatypes](https://github.com/moonad/Formality/wiki/Datatypes) | [Undefined Behaviour >](https://github.com/moonad/Formality/wiki/Undefined-Behavior) diff --git a/Datatypes.md b/Datatypes.md index 75f82a8..b05606a 100644 --- a/Datatypes.md +++ b/Datatypes.md @@ -142,4 +142,4 @@ def main: Notice how, unlike on the Scott-Encoded versions, here we are able to fold over the structures, summing all their contained values. Moreover, due to the use of boxes, elements contained by a Church-Encoded structure must always be one layer above than them, which, by consequence, means that results of folds are one layer above too. -[< Lambdas and Affinity](https://github.com/moonad/Formality-JavaScript/wiki/Lambdas-and-Affinity) | [Bounded Loops and Recursion >](https://github.com/moonad/Formality-JavaScript/wiki/Bounded-Loops-and-Recursion) \ No newline at end of file +[< Lambdas and Affinity](https://github.com/moonad/Formality/wiki/Lambdas-and-Affinity) | [Bounded Loops and Recursion >](https://github.com/moonad/Formality/wiki/Bounded-Loops-and-Recursion) diff --git a/Dups-and-Boxes.md b/Dups-and-Boxes.md index 3158b24..a83b9df 100644 --- a/Dups-and-Boxes.md +++ b/Dups-and-Boxes.md @@ -136,4 +136,4 @@ Because, once again, each occurrence of `num` is on `layer 1`. This means you're The stratification condition is what allows Formality-Core to be evaluated by the fastest interaction-net reduction algorithm known, dispensing the expensive "bookkeeping mechanism" used by other optimal evaluators. -[< If and Cpy](https://github.com/moonad/Formality-JavaScript/wiki/If-and-Cpy) | [Lambdas and Affinity >](https://github.com/moonad/Formality-JavaScript/wiki/Lambdas-and-Affinity) \ No newline at end of file +[< If and Cpy](https://github.com/moonad/Formality/wiki/If-and-Cpy) | [Lambdas and Affinity >](https://github.com/moonad/Formality/wiki/Lambdas-and-Affinity) diff --git a/Hello,-world!.md b/Hello,-world!.md index fc0668c..175dcbe 100644 --- a/Hello,-world!.md +++ b/Hello,-world!.md @@ -7,4 +7,4 @@ def main: Save this as `main.fmc` and using the terminal, go to the directory where you saved the file, then run it with `fmc main`. If you see `"Hello, world!"` in your terminal, then it worked. You can also enter just `fmc` for a list of options. We support multiple evaluators, including an interpreter, lazy/strict interaction-nets and even native JS closures, all with different characteristics. -[< Installation](https://github.com/moonad/Formality-JavaScript/wiki/Installation) | [Numbers and Operators >](https://github.com/moonad/Formality-JavaScript/wiki/Numbers-and-Operators) \ No newline at end of file +[< Installation](https://github.com/moonad/Formality/wiki/Installation) | [Numbers and Operators >](https://github.com/moonad/Formality/wiki/Numbers-and-Operators) diff --git a/Home.md b/Home.md index 14e37be..e2bc628 100644 --- a/Home.md +++ b/Home.md @@ -20,4 +20,4 @@ Here is an brief illustration of the process of compiling a Formality-Core term ![FM Interaction Net](https://github.com/moonad/Elementary-Affine-Net-Render/blob/master/nasic-render.gif) -[Installation >](https://github.com/moonad/Formality-JavaScript/wiki/Installation) \ No newline at end of file +[Installation >](https://github.com/moonad/Formality/wiki/Installation) diff --git a/If-and-Cpy.md b/If-and-Cpy.md index 8ad798e..bef979a 100644 --- a/If-and-Cpy.md +++ b/If-and-Cpy.md @@ -40,4 +40,4 @@ def main: The program above outputs `[42, 84]`. This primitive is necessary because, in Formality-Core, any fixed-size data structure can be natively copied without "boxes" (which will be explained next), with the only exception being native numbers. This primitive fixes this, allowing numbers to be copied without boxes. -[< Lets and Defs](https://github.com/moonad/Formality-JavaScript/wiki/Lets-and-Defs) | [Dups and Boxes >](https://github.com/moonad/Formality-JavaScript/wiki/Dups-and-Boxes) \ No newline at end of file +[< Lets and Defs](https://github.com/moonad/Formality/wiki/Lets-and-Defs) | [Dups and Boxes >](https://github.com/moonad/Formality/wiki/Dups-and-Boxes) diff --git a/Installation.md b/Installation.md index 64c69b4..3d5c993 100644 --- a/Installation.md +++ b/Installation.md @@ -10,8 +10,8 @@ This should install it. In order to test if it worked, type: fmc ``` -If you see our command-line instructions, Formality-Core has been successfully installed in your system. If you have any problem during this process, please [open an issue](https://github.com/moonad/Formality-JavaScript/issues). +If you see our command-line instructions, Formality-Core has been successfully installed in your system. If you have any problem during this process, please [open an issue](https://github.com/moonad/Formality/issues). -[< Why Formality](https://github.com/moonad/Formality-JavaScript/wiki) | [Hello World >](https://github.com/moonad/Formality-JavaScript/wiki/Hello,-world!) \ No newline at end of file +[< Why Formality](https://github.com/moonad/Formality/wiki) | [Hello World >](https://github.com/moonad/Formality/wiki/Hello,-world!) diff --git a/Lambdas-and-Affinity.md b/Lambdas-and-Affinity.md index b318705..5ab598d 100644 --- a/Lambdas-and-Affinity.md +++ b/Lambdas-and-Affinity.md @@ -67,4 +67,4 @@ The first two are preferable because they avoid using boxes. A general rule is: Despite affine lambdas being somewhat hard to work with, they're part of the reason Formality has so great computational characteristics. Moreover, they're not as restrictive as they seem. In fact, almost any non-terminating program that you'd use in practice can be written in Formality-Core with clever use of boxes (technically, any one that terminates in `2^(2^(2^...n))` steps, where `n` is the program size and the number of `2`s is equal to its depth). -[< Dups and Boxes](https://github.com/moonad/Formality-JavaScript/wiki/Dups-and-Boxes) | [Data types >](https://github.com/moonad/Formality-JavaScript/wiki/Datatypes) \ No newline at end of file +[< Dups and Boxes](https://github.com/moonad/Formality/wiki/Dups-and-Boxes) | [Data types >](https://github.com/moonad/Formality/wiki/Datatypes) diff --git a/Lets-and-Defs.md b/Lets-and-Defs.md index 0812d73..9244df1 100644 --- a/Lets-and-Defs.md +++ b/Lets-and-Defs.md @@ -32,4 +32,4 @@ def main: |year - age|] ``` -[< Pairs](https://github.com/moonad/Formality-JavaScript/wiki/Pairs) | [If and Cpy >](https://github.com/moonad/Formality-JavaScript/wiki/If-and-Cpy) \ No newline at end of file +[< Pairs](https://github.com/moonad/Formality/wiki/Pairs) | [If and Cpy >](https://github.com/moonad/Formality/wiki/If-and-Cpy) diff --git a/Numbers-and-Operators.md b/Numbers-and-Operators.md index 04e100b..252e8d4 100644 --- a/Numbers-and-Operators.md +++ b/Numbers-and-Operators.md @@ -41,4 +41,4 @@ greater-than | `\|x > y\|` | `x > y ? 1 : 0` less-than | `\|x < y\|` | `x < y ? 1 : 0` equals | `\|x == y\|` | `x === y ? 1 : 0` -[< Hello World](https://github.com/moonad/Formality-JavaScript/wiki/Hello,-world!) | [Pair >](https://github.com/moonad/Formality-JavaScript/wiki/Pairs) \ No newline at end of file +[< Hello World](https://github.com/moonad/Formality/wiki/Hello,-world!) | [Pair >](https://github.com/moonad/Formality/wiki/Pairs) diff --git a/Pairs.md b/Pairs.md index d32ceb2..c01b5cd 100644 --- a/Pairs.md +++ b/Pairs.md @@ -81,4 +81,4 @@ def main: The program above outputs `1`. -[< Numbers and Operators](https://github.com/moonad/Formality-JavaScript/wiki/Numbers-and-Operators) | [Lets and Defs >](https://github.com/moonad/Formality-JavaScript/wiki/Lets-and-Defs) \ No newline at end of file +[< Numbers and Operators](https://github.com/moonad/Formality/wiki/Numbers-and-Operators) | [Lets and Defs >](https://github.com/moonad/Formality/wiki/Lets-and-Defs) diff --git a/Undefined-Behavior.md b/Undefined-Behavior.md index bb72aa3..1d0f044 100644 --- a/Undefined-Behavior.md +++ b/Undefined-Behavior.md @@ -24,4 +24,4 @@ If you try to evaluate it with interaction nets, it will output `[6,6]`, which i Similar situations can happen when trying to duplicate a term that isn't inside a box. Boxes are fully erased after compilation, so, interaction nets won't display a nice error message in those cases. Instead, they will go ahead copying the unboxed lambda, and anything can happen afterwards. Be very cautious with copies and always use the interpreter to make sure you're not trying to copy an unboxed value! -[< Bounded Loops and Recursion](https://github.com/moonad/Formality-JavaScript/wiki/Bounded-Loops-and-Recursion) | [Formality Interaction Nets >](https://github.com/moonad/Formality-JavaScript/wiki/Formality-Interaction-Net-System-(FINS)) \ No newline at end of file +[< Bounded Loops and Recursion](https://github.com/moonad/Formality/wiki/Bounded-Loops-and-Recursion) | [Formality Interaction Nets >](https://github.com/moonad/Formality/wiki/Formality-Interaction-Net-System-(FINS)) diff --git a/[pt-br]-0.-Instalação.md b/[pt-br]-0.-Instalação.md index 8a95003..d0b7838 100644 --- a/[pt-br]-0.-Instalação.md +++ b/[pt-br]-0.-Instalação.md @@ -9,4 +9,4 @@ fmc Se aparecer nossas instruções no Terminal, o Formality-Core foi instalado com sucesso em seu sistema. Se você tiver algum problema durante este processo, por favor [abrir uma issue] (https://github.com/moonad/formality-core/issues). -[< Por que Formality Core?](https://github.com/moonad/Formality-Core/wiki/%5Bpt-br%5D-Por-que-Formality-Core%3F) | [Hello, World! >](https://github.com/moonad/Formality-Core/wiki/%5Bpt-br%5D-1.-Hello,-World!) \ No newline at end of file +[< Por que Formality Core?](https://github.com/moonad/Formality-Core/wiki/%5Bpt-br%5D-Por-que-Formality-Core%3F) | [Hello, World! >](https://github.com/moonad/Formality-Core/wiki/%5Bpt-br%5D-1.-Hello,-World!) diff --git a/[pt-br]-1.-Hello,-World!.md b/[pt-br]-1.-Hello,-World!.md index 517d0c4..364cd20 100644 --- a/[pt-br]-1.-Hello,-World!.md +++ b/[pt-br]-1.-Hello,-World!.md @@ -7,4 +7,4 @@ def main: Salve como `main.fmc` e usando o terminal, vá para o diretório onde você salvou o arquivo, então execute-o com o `fmc main`. Se você ver "Hello, world!" no seu terminal, então funcionou. Você também pode inserir apenas `fmc` para ver a lista de opções. Oferecemos suporte a vários evaluators, incluindo um interpretador, lazy/strict interaction net e até closures nativas de JS, todos com características diferentes. -[< Instalação](https://github.com/moonad/Formality-Core/wiki/%5Bpt-br%5D-0.-Instalação) | [Números e Operadores >](https://github.com/moonad/Formality-Core/wiki/%5Bpt-br%5D-2.-Números-e-operadores) \ No newline at end of file +[< Instalação](https://github.com/moonad/Formality-Core/wiki/%5Bpt-br%5D-0.-Instalação) | [Números e Operadores >](https://github.com/moonad/Formality-Core/wiki/%5Bpt-br%5D-2.-Números-e-operadores) diff --git a/[pt-br]-2.-Números-e-operadores.md b/[pt-br]-2.-Números-e-operadores.md index d426a85..9a3f4aa 100644 --- a/[pt-br]-2.-Números-e-operadores.md +++ b/[pt-br]-2.-Números-e-operadores.md @@ -39,4 +39,4 @@ maior-que | `\|x > y\|` | `x > y ? 1 : 0` menor-que | `\|x < y\|` | `x < y ? 1 : 0` igual | `\|x == y\|` | `x === y ? 1 : 0` -[< Hello, World](https://github.com/moonad/Formality-Core/wiki/%5Bpt-br%5D-1.-Hello,-World!) | [Pares >](https://github.com/moonad/Formality-Core/wiki/%5Bpt-br%5D-3.-Pares) \ No newline at end of file +[< Hello, World](https://github.com/moonad/Formality-Core/wiki/%5Bpt-br%5D-1.-Hello,-World!) | [Pares >](https://github.com/moonad/Formality-Core/wiki/%5Bpt-br%5D-3.-Pares) diff --git a/[pt-br]-4.-Lets-e-Defs.md b/[pt-br]-4.-Lets-e-Defs.md index a75978d..8e987c9 100644 --- a/[pt-br]-4.-Lets-e-Defs.md +++ b/[pt-br]-4.-Lets-e-Defs.md @@ -28,4 +28,4 @@ def main: |year - age|] ``` -[< Pares](https://github.com/moonad/Formality-Core/wiki/%5Bpt-br%5D-3.-Pares) | [If e Cpy >](https://github.com/moonad/formality-core/wiki/If-and-Cpy) \ No newline at end of file +[< Pares](https://github.com/moonad/Formality-Core/wiki/%5Bpt-br%5D-3.-Pares) | [If e Cpy >](https://github.com/moonad/formality-core/wiki/If-and-Cpy) diff --git a/_Footer.md b/_Footer.md index ffed215..21e66d3 100644 --- a/_Footer.md +++ b/_Footer.md @@ -1 +1 @@ -[Português-br](https://github.com/moonad/Formality-Core/wiki/%5Bpt%5D-Por-que-Formality-Core%3F) | \ No newline at end of file +[Português-br](https://github.com/moonad/Formality-Core/wiki/%5Bpt%5D-Por-que-Formality-Core%3F) |