From 86b7c3d86d5c72cf424b14bed2a33847ada50d82 Mon Sep 17 00:00:00 2001 From: Jeff Smits Date: Tue, 1 Oct 2024 13:28:30 +0200 Subject: [PATCH] Update pcf_tutorial.md Improve title --- docs/tutorial/pcf_tutorial.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/tutorial/pcf_tutorial.md b/docs/tutorial/pcf_tutorial.md index 98835cb9b..662c06a18 100644 --- a/docs/tutorial/pcf_tutorial.md +++ b/docs/tutorial/pcf_tutorial.md @@ -1,4 +1,4 @@ -# A Spoofax tutorial implementing Programming Computable Functions (PCF) +# Implementing Programming Computable Functions (PCF) > In computer science, Programming Computable Functions (PCF) is a typed functional language introduced by Gordon Plotkin in 1977, based on previous unpublished material by Dana Scott. It can be considered to be an extended version of the typed lambda calculus or a simplified version of modern typed functional languages such as ML or Haskell.