Differences between current version and previous revision of Z.
Other diffs: Previous Major Revision, Previous Author, or view the Annotated Edit History
Newer page: | version 2 | Last edited on Saturday, November 8, 2003 11:57:54 am | by TypOr | |
Older page: | version 1 | Last edited on Wednesday, October 15, 2003 1:49:26 pm | by StuartYeates | Revert |
@@ -1,6 +1,6 @@
-A language based on SetTheory and PredicateLogic. It may of
may not be a ProgrammingLanguage, depending on which hairs you wish to split. It is certainly a notation.
+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.
http://vl.zuser.org/
----
CategoryProgrammingLanguages