index
:
tour
this commit
master
touring some programming systems
elioat <elioat@tilde.institute>
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
modal
/
ocaml
/
examples
/
logic.modal
blob: ec94b55cbc69b519baef26851895429fa97f445d (
plain
) (
blame
)
1
2
3
4
5
6
<> (eq ?x ?x) (#t) <> (eq ?x ?y) (#f) .. (eq fox bat) .. (eq bat bat)