| Rev | Author | # | Line |
|---|---|---|---|
| 1 | StuartYeates | 1 | A language based on SetTheory and PredicateLogic. It may or may not be a ProgrammingLanguage, depending on which hairs you wish to split. It is certainly a notation. |
| 2 | |||
| 3 | http://vl.zuser.org/ | ||
| 4 | |||
| 5 | ---- | ||
| 6 | CategoryProgrammingLanguages |
