about summary refs log tree commit diff stats
path: root/modal/logic.modal
blob: 7699841860097e0e0da7d55a6f9c045960fe4976 (plain) (blame) 
1
2
3
4

<> (eq ?x ?x) (#t)
<> (eq ?x ?y) (#f)

.. (eq fox bat)
generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2024-06-03 05:03:05 +0000