Penguin
Note: You are viewing an old revision of this page. View the current version.

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.

http://vl.zuser.org/


CategoryProgrammingLanguages