Page Index - Zistack/program-modeling-language GitHub Wiki 21 page(s) in this GitHub Wiki: Home Encoded Graph Encoding Enum Encoding Enum Type Export Encoding Membership Relation Neighborhood Relation Nesting Relation Node Encoding Orthogonality Problems With Existing Languages Relation Relation Encoding Scope Structural Reasoning Total Order Type Union Type Variable What Is A Language?