Update pcf_tutorial.md

Improve title
metaborg · Oct 1, 2024 · 0cebb34 · 0cebb34
1 parent 92c1e0f
commit 0cebb34
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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.