All Yesterday's Tomorrows: The report on, and of, Project Arxana concerning word processing, electronic publishing, hypertext, etc. -- Supplement I
Scholium program to compute binomial coefficients.
A more minimal example.
A classic semantic network.
An algebra example, worked out in detail below.
Networks representing the inference rules for the preceding example.
Arxana's
source code
is available under the terms of the
Affero GNU GPL 3.0
.