An Alternate View of Synthesis
The encoding is simply a list (array?) of values for each member of the set
The process is repeated until all types are encoded in terms of members of the type Boolean.
Previous slide
Next slide
Back to first slide
View graphic version