Commit e07ba458 authored by vdukhovni's avatar vdukhovni Committed by Marge Bot

More tidy synopses, and new generative recursion

- Further correction and reconcialation with new overview
  of the existing synopses.  Restored some "Tree" examples.

- New section on generative recursion via Church encoding
  of lists.
parent f9605e1a
Pipeline #29705 canceled with stages
This diff is collapsed.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment