diff options
Diffstat (limited to 'modal/logic.modal')
| -rw-r--r-- | modal/logic.modal | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/modal/logic.modal b/modal/logic.modal new file mode 100644 index 0000000..7699841 --- /dev/null +++ b/modal/logic.modal @@ -0,0 +1,4 @@ +<> (eq ?x ?x) (#t) +<> (eq ?x ?y) (#f) + +.. (eq fox bat) \ No newline at end of file |