diff options
| author | elioat <{ID}+{username}@users.noreply.github.com> | 2024-06-20 09:14:46 -0400 |
|---|---|---|
| committer | elioat <{ID}+{username}@users.noreply.github.com> | 2024-06-20 09:14:46 -0400 |
| commit | cf7b723fcaaef9087e8a885f3c24a902914f2365 (patch) | |
| tree | 55466be9266fbd30ffb17d21fc50ce07045926a9 | |
| parent | ea1203d3d979fe3bfc9192eea5ad003b24d284b7 (diff) | |
| download | tour-cf7b723fcaaef9087e8a885f3c24a902914f2365.tar.gz | |
*
| -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) |