From 865edb9d2b2f2a5e7d3db7c5939b5f4004ad3747 Mon Sep 17 00:00:00 2001 From: co63oc Date: Wed, 1 Jan 2025 15:26:38 +0800 Subject: [PATCH] Fix --- legacy/benchmark/fibonacci/README.md | 2 +- moonbit-docs/docs/examples/lambda.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/legacy/benchmark/fibonacci/README.md b/legacy/benchmark/fibonacci/README.md index 87ab7c47..4376d03a 100644 --- a/legacy/benchmark/fibonacci/README.md +++ b/legacy/benchmark/fibonacci/README.md @@ -1,6 +1,6 @@ # WASM benchmark -You can expericence this benchmark online at https://moonbitlang.github.io/moonbit-docs/legacy/benchmark/fibonacci/ or set it up at local following below instructions. +You can experience this benchmark online at https://moonbitlang.github.io/moonbit-docs/legacy/benchmark/fibonacci/ or set it up at local following below instructions. ## Fibonacci diff --git a/moonbit-docs/docs/examples/lambda.md b/moonbit-docs/docs/examples/lambda.md index d8a1ddac..f6923a0f 100644 --- a/moonbit-docs/docs/examples/lambda.md +++ b/moonbit-docs/docs/examples/lambda.md @@ -1,6 +1,6 @@ # Lambda calculus -Functional programming rises with the fall of Moore's Law. The full utilization of milti-core processors has become an increasingly important optimization method, while functional programming also becomes more popularized with its affinity for parallel computation. The reasons behind this trend can be traced back to one of its theoretical ancestors—Lambda calculus. +Functional programming rises with the fall of Moore's Law. The full utilization of multi-core processors has become an increasingly important optimization method, while functional programming also becomes more popularized with its affinity for parallel computation. The reasons behind this trend can be traced back to one of its theoretical ancestors—Lambda calculus. Lambda calculus originated from the 1930s. Created by Turing's mentor Alonzo Church, formal systems have now evolved a vast and flourishing family tree. This article will illustrate one of its most fundamental forms: untyped Lambda calculus (which was also one of the earliest forms proposed by Alonzo Church).