Skip to content

Instantly share code, notes, and snippets.

@xieyuheng

xieyuheng/to-be.md

Last active June 8, 2025 11:58
Show Gist options
  • Save xieyuheng/f31f30321a0a5b9905e1212112dca1c8 to your computer and use it in GitHub Desktop.
Save xieyuheng/f31f30321a0a5b9905e1212112dca1c8 to your computer and use it in GitHub Desktop.
Download ZIP
to be
Raw
to-be.md

to be is to be the value
of a variable. -- quine

(exists (x) (P x))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment