eval-expression -- r7rs Type
§

Super-types
§

Referent definitions as input
§

Categories
§

Categories recursive
§