TFL Examples

• Ackermann's function
• Conditional Expression normalizer
• Primitive Recursive division algorithm
• The Dutch National Flag
• Euclid's GCD algorithm
• A simple nested function
• McCarthy's 91 function
• The nth element of a list
• The specification of sorting
• Partitioning a list by a predicate
• List permutations
• A slow quicksort
• A faster quicksort
• Variant
• Unification