relational-logic

类型理论为编程语言基础增加了不必要的复杂性，并提出基于关系成员的更简单观点。