Penguin
Recent Changes
Annotated edit history of Z version 2, including all changes. View license author blame.
Rev Author # Line
2 TypOr 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.
1 StuartYeates 2
3 http://vl.zuser.org/
4
5 ----
6 CategoryProgrammingLanguages