Page MenuHomePhabricator
Create Task
Maniphest T145537

Change "Frame" class into "World"
Closed, InvalidPublic
Actions

Description

The name World is more common in Propositional calculus

Event Timeline

jeblad created this task.Sep 13 2016, 5:09 PM
Restricted Application added a subscriber: Aklapper. · View Herald TranscriptSep 13 2016, 5:09 PM
jeblad renamed this task from Change frame class into world to Change "Frame" class into "World".Sep 13 2016, 6:22 PM
jeblad updated the task description. (Show Details)
jeblad closed this task as Invalid.Jan 1 2019, 1:12 AM

Moved to Github.

Content licensed under Creative Commons Attribution-ShareAlike (CC BY-SA) 4.0 unless otherwise noted; code licensed under GNU General Public License (GPL) 2.0 or later and other open source licenses. By using this site, you agree to the Terms of Use, Privacy Policy, and Code of Conduct. · Wikimedia Foundation · Privacy Policy · Code of Conduct · Terms of Use · Disclaimer · CC-BY-SA · GPL