diff options
| -rw-r--r-- | modal/logic.modal | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/modal/logic.modal b/modal/logic.modal index 7699841..bdc5c09 100644 --- a/modal/logic.modal +++ b/modal/logic.modal @@ -1,4 +1,5 @@ <> (eq ?x ?x) (#t) <> (eq ?x ?y) (#f) -.. (eq fox bat) \ No newline at end of file +.. (eq fox bat) +.. (eq bat bat) |