Quote: Aleph defines symbols in terms of phrases and recursion; gives example of merge sort

Note

Symbol entry by ':' with phrases by ',' or ';'. Extensive recursion e.g., sort: split into two lists, sort first list, sort second list, merge sort first list; is ordered; sort.

Related Topics

Topic: words defined by words (24 items)