Skip to content

Commit

Permalink
Update pcf_tutorial.md
Browse files Browse the repository at this point in the history
Improve title
  • Loading branch information
Apanatshka committed Oct 3, 2024
1 parent a731d0c commit 86b7c3d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/tutorial/pcf_tutorial.md
Original file line number Diff line number Diff line change
@@ -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.
Expand Down

0 comments on commit 86b7c3d

Please sign in to comment.