Timeline for Why are non-logical predicates of 0-arity treated as logical variables?
Current License: CC BY-SA 4.0
2 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Jun 17, 2020 at 8:34 | history | edited | CommunityBot |
Commonmark migration
|
|
Jun 6, 2019 at 20:21 | history | answered | Frank Hubeny | CC BY-SA 4.0 |