about summary refs log blame commit diff stats
path: root/modal/logic.modal
blob: bdc5c091c7bfd36ff34bdbd0df6d8461e4e7ced4 (plain) (tree) 
424301c ^



cf7b723 ^


1
2
3

4
5



                  

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

.. (eq fox bat)
.. (eq bat bat)
generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2024-12-26 09:36:59 +0000